X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Futils%2FqNameSet.ml;h=d895ff3943e4f15afc9a02248c82ebaff57388aa;hp=934d2def164c1b9a74d4bf762137d81b35fcd919;hb=7aa6c5c4e2b329bbf5fa7cc31a7542ba48ace84f;hpb=54d24e939b72601a55832aa447ed31f1b256f02e

diff --git a/src/utils/qNameSet.ml b/src/utils/qNameSet.ml
index 934d2de..d895ff3 100644
--- a/src/utils/qNameSet.ml
+++ b/src/utils/qNameSet.ml
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-03-04 17:42:09 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-09 17:54:35 CET by Kim Nguyen>
 *)
 
 include FiniteCofinite.Make(Ptset.Make(QName))
@@ -32,8 +32,18 @@ let printer fmt e test conv inv is_any =
 
 let print fmt e = printer fmt e is_finite elements complement is_any
 
+let specials = [ QName.document; QName.text; QName.text ]
+let notstar = from_list specials
+let star = diff any notstar
+let node = any
+let text = singleton QName.text
+
 module Weak =
 struct
   include FiniteCofinite.Weak(Ptset.Weak(QName))
   let print fmt e =  printer fmt e is_finite elements complement is_any
+  let notstar = from_list specials
+  let star = diff any notstar
+  let node = any
+  let text = singleton QName.text
 end