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 a1b47a6..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)
@@ -46,7 +46,7 @@ and compile_step_list p =
        
   and compile_single_path_rev p = 
     match p with
-      | Absolute p | Relative p -> compile_step_list_rev (List.rev p)
+      | Absolute p | Relative p -> compile_step_list_rev p (*(List.rev p)*)
 
   and compile_step_list_rev p = match p with
     | [] -> Dom         (*assert false*) (*on fait rien , mais comment signifer ???*)
@@ -111,7 +111,7 @@ let rec diff_list t l1 l2 =
       else diff_list t ll1 ll2
 
 
-let do_debug = ref true
+let do_debug = ref false
 
 let debug tree q l =
   if !do_debug then begin
@@ -144,5 +144,6 @@ let rec eval_query_tree tree start q =
       end
   in
   debug tree q resultat;
+  compteur := !compteur + (List.length resultat);
   resultat