X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=cc8a8e62bdfb18cd1a5d430c1124de70310c2c4d;hb=497ac3f74338faede9a844f5940857f55c0e9b64;hp=d0a4f5a4c70778a1000464a989fd039b50e82fa1;hpb=7489c542a7b7357a1c2bbc436d1d77c601833d3b;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index d0a4f5a..cc8a8e6 100644
--- a/tree.mli
+++ b/tree.mli
@@ -3,6 +3,7 @@ val init_contains : t -> string -> unit
 val init_naive_contains : t -> string -> unit
 val is_nil : t -> bool
 val is_node : t -> bool
+val dump_node : t -> string
 val parse_xml_uri : string -> t
 val parse_xml_string : string -> t
 val save : t -> string -> unit
@@ -37,3 +38,14 @@ val node_sibling_ctx : t -> t -> t
 val tags_below : t -> Tag.t -> Ptset.t
 val tags_after : t -> Tag.t -> Ptset.t
 val tags : t -> Tag.t -> Ptset.t*Ptset.t
+val is_below_right : t -> t -> bool
+val is_left : t -> bool
+val tagged_lowest : t -> Tag.t -> t
+val tagged_next : t -> Tag.t -> t
+val binary_parent : t -> t
+val benchmark_text : t -> string array
+val count_contains : t -> string -> int
+val unsorted_contains : t -> string -> unit
+val text_size : t -> int
+val doc_ids : t -> int*int
+val subtree_tags : t -> Tag.t -> int