X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree.mli;h=d329b5a0403adbbe4f9518c4d2d189f1f094b250;hb=2a7218fd2a985ed57732f9f7b9a0b62f4b2c83df;hp=0eb99c7ce5b024a4868ec60ebb88bfc224ab3232;hpb=0158dd0bd369b50f3e784b3f4b6122ea4cbde822;p=SXSI%2Fxpathcomp.git

diff --git a/src/tree.mli b/src/tree.mli
index 0eb99c7..d329b5a 100644
--- a/src/tree.mli
+++ b/src/tree.mli
@@ -7,7 +7,6 @@ val parse_xml_uri : string -> t
 val parse_xml_string : string -> t
 val save : t -> string ->  unit
 val load : ?sample:int -> ?load_text:bool -> string -> t
-val tag_pool : t -> Tag.pool
 
 
 val nil : node
@@ -29,6 +28,7 @@ val select_child : t -> node -> unordered_set -> node
 val next_sibling : t -> node -> node
 val prev_sibling : t -> node -> node
 val next_element : t -> node -> node
+val next_node_before : t -> node -> node -> node
 val tagged_following_sibling : t -> node ->  Tag.t -> node
 val select_following_sibling : t -> node -> unordered_set -> node
 
@@ -67,7 +67,8 @@ val closing : t -> node -> node
 val stats : t -> unit
 
 val num_tags : t -> int
-val tag_pool : t -> Tag.pool
+
+val tag_operations : t -> Tag.operations
 
 val print_xml : t -> node -> Unix.file_descr -> unit
 val flush : t -> Unix.file_descr -> unit