X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree.mli;h=e24add34f446c1f363265fcdd4348daf196e354c;hb=e4e34e687798285e65df74561915f7721b066631;hp=0946a4c0f54668f575269ccd1e57909b4da7536a;hpb=ecec752325cb3d207894a4f8d772936bd7ad9f4a;p=SXSI%2Fxpathcomp.git

diff --git a/src/tree.mli b/src/tree.mli
index 0946a4c..e24add3 100644
--- a/src/tree.mli
+++ b/src/tree.mli
@@ -15,32 +15,30 @@ val size : t -> int
 val is_root : node -> bool
 val is_nil : node -> bool
 
-type unordered_set
+type tag_list
 
-val unordered_set_of_set : Ptset.Int.t -> unordered_set
+val tag_list_of_set : Ptset.Int.t -> tag_list
 
 val first_child : t -> node -> node
 val first_element : t -> node -> node
 val tagged_child : t -> node -> Tag.t -> node
-val select_child : t -> node -> unordered_set -> node
+val select_child : t -> node -> tag_list -> 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
+val tagged_sibling : t -> node ->  Tag.t -> node
+val select_sibling : t -> node -> tag_list -> node
 
 val tagged_descendant : t -> node -> Tag.t -> node
 val tagged_next : t -> node -> Tag.t -> node
-val select_descendant : t -> node -> unordered_set -> node
+val select_descendant : t -> node -> tag_list -> node
 
 val tagged_following_before : t -> node -> Tag.t -> node ->  node
-val select_following_before : t -> node -> unordered_set -> node -> node
+val select_following_before : t -> node -> tag_list -> node -> node
 
 val parent : t -> node -> node
-val binary_parent : t -> node -> node
 val is_first_child : t -> node -> bool
 val is_right_descendant : t -> node -> node -> bool
 
@@ -91,3 +89,5 @@ type bit_vector
 val bit_vector_create : int -> bit_vector
 val bit_vector_unsafe_set : bit_vector -> int -> bool -> unit
 val bit_vector_unsafe_get : bit_vector -> int -> bool
+
+val reinit : unit -> unit