projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
1) ecrire la fonction hash et equal
[tatoo.git]
/
src
/
query_tree.mli
diff --git
a/src/query_tree.mli
b/src/query_tree.mli
index
ea520c4
..
f34cc3b
100644
(file)
--- a/
src/query_tree.mli
+++ b/
src/query_tree.mli
@@
-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
*)
+
+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