X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=539103cc1392fea94e49482e78d4f86c93d1e4d7;hb=0c2338bfcdae0df1c68112a10247dc4e68a483ff;hp=24b825603a9b850df64f0f33b683a9f3b8358dc1;hpb=ac8c1ac563a2c089f789eed5a03ff5b84a2c4fe0;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index 24b8256..539103c 100644
--- a/tree.mli
+++ b/tree.mli
@@ -89,7 +89,9 @@ val is_open : t -> [`Tree] node -> bool
 
 val benchmark_jump : t -> Tag.t -> unit
 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