X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=e4c60c8d91bad3906c6b011b299e0853af130692;hb=bf2b1a91300ace1e7e83bd78f868a269d86498f9;hp=59bbcc226b5b5be4dc9fa8bff93e6301cf143c97;hpb=cad5e2e2831477cba1f6211c57b9a4cc5b58bd55;p=SXSI%2Fxpathcomp.git diff --git a/tree.mli b/tree.mli index 59bbcc2..e4c60c8 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 @@ -88,4 +88,11 @@ val closing : t -> [`Tree] node -> [`Tree] node val is_open : t -> [`Tree] node -> bool val benchmark_jump : t -> Tag.t -> unit -val benchmark_fsns : t -> unit +val benchmark_fcns : t -> unit +val benchmark_lcps : t -> unit +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