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

[tatoo.git] / src / query_tree.ml

diff --git a/src/query_tree.ml b/src/query_tree.ml
index c513bdb..79aee48 100644 (file)
--- a/src/query_tree.ml
+++ b/src/query_tree.ml
@@ -1,6 +1,6 @@
 open Table
 
-
+let compteur = ref 0
 
 let all_nodes tree = let root = Naive_tree.root tree in
                     eval_axis tree [root] (Descendant true)
@@ -144,5 +144,6 @@ let rec eval_query_tree tree start q =
       end
   in
   debug tree q resultat;
+  compteur := !compteur + (List.length resultat);
   resultat