Commit dddba906 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2006-04-27 15:15:07 by afrisch] Empty log message

Original author: afrisch
Date: 2006-04-27 15:15:32+00:00
parent 7fc18147
......@@ -914,11 +914,26 @@ let is_empty d =
let non_empty d =
not (is_empty d)
let subtype d1 d2 =
is_empty (diff d1 d2)
let disjoint d1 d2 =
is_empty (cap d1 d2)
(* try match (DescrHash.find memo d1).status with
| Empty -> true
| NEmpty w when Witness.type_has d2 w -> false
| _ -> raise Not_found
with Not_found ->
try match (DescrHash.find memo d2).status with
| Empty -> true
| NEmpty w when Witness.type_has d1 w -> false
| _ -> raise Not_found
with Not_found -> *)
is_empty (cap d1 d2)
let subtype d1 d2 =
(* try match (DescrHash.find memo d1).status with
| Empty -> true
| NEmpty w when not (Witness.type_has d2 w) -> false
| _ -> raise Not_found
with Not_found -> *)
is_empty (diff d1 d2)
let equiv d1 d2 = (subtype d1 d2) && (subtype d2 d1)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment