- if r < 60000 then begin
- Printf.eprintf "TextCollection contains\nCalling global contains : ";
- time (Tree.Binary.init_contains v) s
+ if r < !Options.tc_threshold then begin
+ Printf.eprintf "TextCollection contains\nTiming call to raw global contains (1st time): ";
+ time (Tree.unsorted_contains v) s;
+ Printf.eprintf "Calling global contains : ";
+ time (Tree.init_contains v) s;
+ Printf.eprintf "Timing call to global count contains : ";
+ let r = time (Tree.count_contains v) s
+ in
+ Printf.eprintf " number of matching nodes %i \n%!" r;
+ Printf.eprintf "Timing call to raw global contains (2nd time): ";
+ time (Tree.unsorted_contains v) s;