X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=a9c38f1e6c26828ee2b5e137ab68f52ff2d282ac;hb=a223af3254fb51c279cfbccdc18c59484fdca74e;hp=4a8f12c52e9b031057bc0bbd2154dc5c9966361e;hpb=1ff2494510cb02d136cbde3a064c0c8c94ec4216;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index 4a8f12c..a9c38f1 100644
--- a/tree.mli
+++ b/tree.mli
@@ -11,7 +11,7 @@ val load : ?sample:int -> ?load_text:bool -> string -> t
 val tag_pool : t -> Tag.pool
 
 
-type 'a node = private int
+type 'a node
 type node_kind = [ `Tree | `Text ]
 val equal : [ `Tree ] node -> [ `Tree ] node -> bool
 val compare : [ `Tree ] node -> [ `Tree ] node -> int
@@ -87,7 +87,14 @@ 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
+val test_prefix : t -> string -> int
+val test_equals : t -> string -> int
+val test_contains : t -> string -> int