X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fquery_tree.ml;fp=src%2Fquery_tree.ml;h=679d992cf3d496604dedb507980fe8577acddb63;hp=d9a226fe973933688cbf57d5014c90594f43d96e;hb=c5480c3711c7431e70f78871c738f2d86ecb96ac;hpb=72818d02fb469c39a3d8043300152beae3e7e162 diff --git a/src/query_tree.ml b/src/query_tree.ml index d9a226f..679d992 100644 --- a/src/query_tree.ml +++ b/src/query_tree.ml @@ -146,12 +146,12 @@ let rec eval_qtree tree start q = let res = match q.desc with | Start -> start - | Dom -> (* Bitvector.create true (Naive_tree.size tree)*) - let v = Bitvector.create (Naive_tree.size tree) in + | Dom -> Bitvector.create ~init:true (Naive_tree.size tree) + (*let v = Bitvector.create (Naive_tree.size tree) in for i=0 to (Bitvector.length v)-1 do Bitvector.set v i true done; - v + v*) | Tag (t,k) -> element_by_tag tree t k | Axis (a,q1) -> let v = eval_qtree tree start q1 in eval_axis tree v a