Merge branch 'lucca-tests-bench' into lucca-optim

[tatoo.git] / src / qNameSet.ml

diff --git a/src/qNameSet.ml b/src/qNameSet.ml
index 4035957..e81118e 100644 (file)
--- a/src/qNameSet.ml
+++ b/src/qNameSet.ml
@@ -16,3 +16,17 @@
 include FiniteCofinite.Make(Ptset.Make(QName))
 
 module Weak = FiniteCofinite.Weak(Ptset.Weak(QName))
+
+(* BEGIN : Lucca Hirschi *)
+let to_string set =
+  let print_set s=
+    if is_empty (s) then
+      "ø"
+    else
+      String.concat " "
+       (List.map (fun name -> QName.to_string name) (elements s))
+  in
+  match (kind set) with
+    | `Finite -> "F("^(print_set set)^")"
+    | `Cofinite  -> "Cof("^(print_set (complement set))^")"
+(* END : Lucca Hirschi *)