projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remplacer la fonction List.sort par les fonctions d'evaluations. La liste de fonction...
[tatoo.git]
/
src
/
query_tree.mli
diff --git
a/src/query_tree.mli
b/src/query_tree.mli
index
ea520c4
..
e578beb
100644
(file)
--- a/
src/query_tree.mli
+++ b/
src/query_tree.mli
@@
-16,7
+16,7
@@
val compile_single_path : Xpath.Ast.single_path -> Table.query_tree
val compile_xpath : Xpath.Ast.path -> Table.query_tree
(** [compile_xpath path] returns un query_tree built with [xpath]
*)
val compile_xpath : Xpath.Ast.path -> Table.query_tree
(** [compile_xpath path] returns un query_tree built with [xpath]
*)
-
+(*
val union_list : Naive_tree.t ->Naive_tree.node list -> Naive_tree.node list -> Naive_tree.node list
(** union two lists without duplicating
*)
val union_list : Naive_tree.t ->Naive_tree.node list -> Naive_tree.node list -> Naive_tree.node list
(** union two lists without duplicating
*)
@@
-34,3
+34,7
@@
val eval_query_tree : Naive_tree.t -> Naive_tree.node list ->Table.query_tree ->
[start] the set of nodes departing.
[q] query_tree
*)
[start] the set of nodes departing.
[q] query_tree
*)
+*)
+val minimize_qtree : Table.query_tree -> Table.query_tree
+
+val eval_qtree : Naive_tree.t -> Naive_tree.node list ->Table.query_tree -> Naive_tree.node list