X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmquery_generator%2FmQueryGenerator.mli;fp=helm%2Focaml%2Fmquery_generator%2FmQueryGenerator.mli;h=e1ad25caf5f6b871df237ea8b686a0fa57f1a22d;hb=fc3a73230e9c3a8359944ecbc5546f8f63acac25;hp=37a98adec20a68be77f5f98e400fc23e01cac12a;hpb=ccff14650d0212aeadf0fcf6ef9ed2e792516686;p=helm.git diff --git a/helm/ocaml/mquery_generator/mQueryGenerator.mli b/helm/ocaml/mquery_generator/mQueryGenerator.mli index 37a98adec..e1ad25caf 100644 --- a/helm/ocaml/mquery_generator/mQueryGenerator.mli +++ b/helm/ocaml/mquery_generator/mQueryGenerator.mli @@ -23,18 +23,6 @@ * http://cs.unibo.it/helm/. *) -(******************************************************************************) -(* *) -(* PROJECT HELM *) -(* *) -(* Ferruccio Guidi *) -(* 30/04/2002 *) -(* *) -(* *) -(******************************************************************************) - -exception Discard - type uri = string type position = string type depth = int option @@ -48,17 +36,8 @@ 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) +val locate : string -> MathQL.query +val searchPattern : must_restrictions -> only_restrictions -> MathQL.query -val set_log_file : string -> unit - -(* the callback function must return false iff the query must be skipped *) -val set_confirm_query : (MathQL.query -> bool) -> unit - -val execute_query : MQIConn.handle -> MathQL.query -> MathQL.result - -val locate : MQIConn.handle -> string -> MathQL.result - -val searchPattern : MQIConn.handle -> must_restrictions -> only_restrictions -> MathQL.result - -val get_query_info : unit -> string list +val builtin : MathQL.vvar -> string