X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=main.ml;h=021a18e935bc2b1886aab07cbaec018aa2b65ac5;hb=d550133ad7afdf65c5e284c2bcf67a5bdde6faa7;hp=4e12ae8dc3f3fe920f30e2a5ed7f83b6f5408159;hpb=09870a49122b3d7048422818dbb0a038513b4d14;p=SXSI%2Fxpathcomp.git diff --git a/main.ml b/main.ml index 4e12ae8..021a18e 100644 --- a/main.ml +++ b/main.ml @@ -60,7 +60,7 @@ let main v query_string output = Printf.eprintf "Finding min occurences : "; time ( List.fold_left (fun ((min_occ,kind)as acc) (tag,_) -> - let numtags = Tree.subtree_tags v tag in + let numtags = Tree.subtree_tags v tag Tree.root in if ((numtags < min_occ) && numtags >= 2) then (numtags,`TAG(tag)) else acc) jump_to) ltags @@ -79,6 +79,7 @@ let main v query_string output = (if !Options.count_only then "(counting only)" else if !Options.backward then "(bottomup)" else ""); begin let _ = Gc.full_major();Gc.compact() in + let _ = Printf.eprintf "%!" in (* let _ = Gc.set (disabled_gc) in *) if !Options.backward && ((snd test_list) != `NOTHING )then @@ -107,9 +108,9 @@ let main v query_string output = let oc = open_out f in output_string oc "\n"; IdSet.iter (fun t -> - Tree.print_xml_fast oc t; + Tree.print_xml_fast oc v t; output_char oc '\n'; - output_string oc "----------\n"; + ) result) (); end; end; @@ -125,7 +126,7 @@ let v = begin Printf.eprintf "Loading from file : "; time (Tree.load ~sample:!Options.sample_factor ) - (Filename.chop_suffix !Options.input_file ".srx"); + !Options.input_file; end else let v =