X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_generator%2FmQueryGenerator.mli;h=decaa0ea761be56f337c1b67a7d4cd02f33e1cf3;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=eace22532b96f5a9f6fb1b9d5e82f3c3b663687b;hpb=cab4eba3c7da115ecc1973d989b321b46835e1eb;p=helm.git

diff --git a/helm/ocaml/mathql_generator/mQueryGenerator.mli b/helm/ocaml/mathql_generator/mQueryGenerator.mli
index eace22532..decaa0ea7 100644
--- a/helm/ocaml/mathql_generator/mQueryGenerator.mli
+++ b/helm/ocaml/mathql_generator/mQueryGenerator.mli
@@ -23,22 +23,20 @@
  * http://cs.unibo.it/helm/.
  *)
 
-type uri = string
-type position = string
-type depth = int option
-type sort = string 
+(*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
+ *)
+
+(* interface for the low-level constraints  *********************************)
 
-type r_obj = (uri * position * depth) 
-type r_rel = (position * depth)
-type r_sort = (position * depth * sort) 
+val locate     : string -> MathQL.query
 
-type must_restrictions = (r_obj list * r_rel list * r_sort list)
-type only_restrictions =
- (r_obj list option * r_rel list option * r_sort list option)
-type universe = position list option
+val unreferred : string -> string -> MathQL.query
 
-val locate               : string -> MathQL.query
+val compose    : MQGTypes.spec list -> MathQL.query
 
-val query_of_constraints : universe -> must_restrictions -> only_restrictions -> MathQL.query
+(* interface for the high-level constraints  ********************************)
 
-val builtin              : MathQL.vvar -> string
+val query_of_constraints : MQGTypes.universe option -> 
+                           MQGTypes.must_restrictions ->
+                           MQGTypes.only_restrictions -> 
+			   MathQL.query