X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=a9c38f1e6c26828ee2b5e137ab68f52ff2d282ac;hb=df5fdb22632be887ecd9f5c46a014e7e970148a2;hp=e4c60c8d91bad3906c6b011b299e0853af130692;hpb=ac8720a930e5757a72f73e80aff7a988b0082831;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index e4c60c8..a9c38f1 100644
--- a/tree.mli
+++ b/tree.mli
@@ -87,9 +87,11 @@ val text_next :  t -> [`Tree] node -> [`Tree] node -> [`Tree] node
 val closing : t -> [`Tree] node -> [`Tree] node
 val is_open : t -> [`Tree] node -> bool
 
-val benchmark_jump : t -> Tag.t -> unit
-val benchmark_fcns : t -> unit
+val benchmark_jump : t -> Tag.t -> int
+val benchmark_fcns : t -> int
+val benchmark_fene : t -> int
 val benchmark_lcps : t -> unit
+val benchmark_iter : t -> int
 val stats : t -> unit
 
 val test_suffix : t -> string -> int