ajout d'un compteur pour compter le nombre de noeuds évalués

[tatoo.git] / src / query_tree.mli

diff --git a/src/query_tree.mli b/src/query_tree.mli
index 9afa1ad..2369eff 100644 (file)
--- a/src/query_tree.mli
+++ b/src/query_tree.mli
@@ -1,3 +1,5 @@
+val compteur : int ref
+
 val all_nodes : Naive_tree.t -> Naive_tree.node list
 (** [all_nodes t] returns all the nodes in the tree [t].
     Returns an empty list if there are no nodes in the tree.