X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tagSet.ml;fp=tagSet.ml;h=0000000000000000000000000000000000000000;hb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;hp=ba3f431c3cb6e88a5457c2a250b8759406e2408d;hpb=a223af3254fb51c279cfbccdc18c59484fdca74e;p=SXSI%2Fxpathcomp.git

diff --git a/tagSet.ml b/tagSet.ml
deleted file mode 100644
index ba3f431..0000000
--- a/tagSet.ml
+++ /dev/null
@@ -1,32 +0,0 @@
-(* module Ptset = 
-struct 
-  include Set.Make (struct type t = int let compare = (-) end)
-  let hash = Hashtbl.hash
-end
-  *)
-module M  : FiniteCofinite.S with type elt = Tag.t and type set = Ptset.Int.t =
-  FiniteCofinite.Make(Ptset.Int)
-include M
-
-
-let tag t = singleton t
-let pcdata = singleton Tag.pcdata
-let attribute = singleton Tag.attribute
-let star = diff any (cup pcdata attribute)
-let node = neg attribute
-
-let print ppf t = 
-  let print_set s = 
-    Format.fprintf ppf "{";
-    Ptset.Int.iter 
-      (fun t -> Format.fprintf ppf "'%s' " (Tag.to_string t))      
-      s;
-    Format.fprintf ppf "}"
-  in
-  if is_finite t then
-       if is_empty t then
-       Format.fprintf ppf "∅" else  print_set (positive t)
-  else
-  Format.fprintf ppf "Σ";
-  if not (is_any t) then
-  (Format.fprintf ppf "\\" ; print_set (negative t))