This commit was manufactured by cvs2svn to create branch 'scripts'.

[helm.git] / helm / ocaml / mathql_interpreter_galax / test_intersect.ml

diff --git a/helm/ocaml/mathql_interpreter_galax/test_intersect.ml b/helm/ocaml/mathql_interpreter_galax/test_intersect.ml
deleted file mode 100755 (executable)
index e86251d..0000000
--- a/helm/ocaml/mathql_interpreter_galax/test_intersect.ml
+++ /dev/null
@@ -1,69 +0,0 @@
-
-
-
-
-
-open Mathql_semantics;;
-open MathQL;;
-
-(* stampa tutti i documenti che fanno match con un pattern di input *)
-List.iter
- (function atturi -> print_endline ("output: " ^ atturi))
-  (match Mqint2.execute
-   (MQList
-    (MQIntersect
-     (
-                 (MQSelect
-                   (
-                    (*SELECT*) "uri0",
-                    (*  IN  *) MQUse
-                     (MQPattern
-                     (
-                       Some "cic",
-                       [MQBD; MQBC"Algebra"; MQBD; MQBC "Basics"; MQBD; MQBSS],
-                        []
-                     ),
-                     "$s0"
-                     ),
-      (*WHERE *)   MQIs
-                    (
-                    MQStringSVar "$s0",
-                    MQConclusion
-                    )
-                   )
-                 ),
-                 (MQSelect
-                   (
-                    (*SELECT*) "uri0",
-                    (*  IN  *) MQUse
-                     (MQPattern
-                     (
-                       Some "cic",
-                       [MQBD; MQBC"Algebra"; MQBD; MQBC "Basics"; MQBD; MQBC "max.con"],
-                        []
-                     ),
-                     "$s0"
-                     ),
-      (*WHERE *)   MQIs
-                    (
-                    MQStringSVar "$s0",
-                    MQConclusion
-                    )
-                   )
-                 )               
-     )
-    )
-   )
-   with MQRefs l -> l
-  );
-
-;;
-
-
-
-
-
-
-
-
-