Fixed bug in NextElement, improved caching

[SXSI/xpathcomp.git] / finiteCofinite.ml

diff --git a/finiteCofinite.ml b/finiteCofinite.ml
index 58f0730..907b604 100644 (file)
--- a/finiteCofinite.ml
+++ b/finiteCofinite.ml
@@ -41,6 +41,8 @@ sig
   val equal : t -> t -> bool
   val positive : t -> set
   val negative : t -> set
+  val inj_positive : set -> t
+  val inj_negative : set -> t
 end
 
 module Make (E : Sigs.Set) : S with type elt = E.elt and type set = E.t =
@@ -192,5 +194,7 @@ struct
       | CoFinite x -> x
       | _ -> E.empty
 
+  let inj_positive t = Finite t
+  let inj_negative t = CoFinite t
 end