X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fquery_tree.ml;h=79aee48f5c1e3f363fe47742a16b74ad7e303acb;hb=f636f951e53b2503718d1e740ff7d967486d23f8;hp=a1b47a67beecfc95fb98988277dbb5e097150eed;hpb=f3a0235e4715d24d8e8b4053923d433e1d876851;p=tatoo.git

diff --git a/src/query_tree.ml b/src/query_tree.ml
index a1b47a6..79aee48 100644
--- 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