X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;fp=tree.mli;h=3f72894d81df260e88bf40a693dbccb236191c99;hb=451e60ad59e35344dff62da5ca27fcd5eec1bff9;hp=d8a49c96d55bee08f9b2fab2ca1c8a4f0aafebfa;hpb=b82be3bb29963ce00218ccc59e1622e284145351;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index d8a49c9..3f72894 100644
--- a/tree.mli
+++ b/tree.mli
@@ -16,39 +16,44 @@ val root : t -> t
 val is_root : t -> bool
 val parent : t -> t
 val first_child : t -> t
+val tagged_child : Tag.t -> t ->  t
+val select_child : Ptset.Int.t -> t ->  t
+
 val next_sibling : t -> t
+
+val tagged_sibling : Tag.t -> t ->  t
+val tagged_sibling_ctx : Tag.t -> t -> t -> t
+
+val select_sibling : Ptset.Int.t -> t -> t 
+val select_sibling_ctx : Ptset.Int.t -> t -> t -> t
+
 val next_sibling_ctx : t -> t -> t
-val left : t -> t
-val right : t -> t
-val id : t -> int
+
 val tag : t -> Tag.t
-val text_below : t -> t
-val text_next : t -> t -> t
+val id : t -> int
+
 val tagged_desc : Tag.t -> t -> t
+val select_desc : Ptset.Int.t -> t -> t
+
 val tagged_foll_ctx : Tag.t -> t -> t -> t
-(*
-val select_desc_only : Ptset.Int.t -> t -> t
-val select_foll_only : Ptset.Int.t -> t -> t -> t
-val select_below :   Ptset.Int.t -> Ptset.Int.t ->  t -> t
-val select_next :  Ptset.Int.t -> Ptset.Int.t -> t -> t -> t
-*)
+val select_foll_ctx : Ptset.Int.t -> t -> t -> t
+
 val count : t -> string -> int
 val print_xml_fast : out_channel -> t -> unit
-val node_child : t -> t
-val node_sibling : t -> t
-val node_sibling_ctx : t -> t -> t
+
 val tags_below : t -> Tag.t -> Ptset.Int.t
 val tags_after : t -> Tag.t -> Ptset.Int.t
 val tags : t -> Tag.t -> Ptset.Int.t*Ptset.Int.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
 val get_text : t -> string
+
+val dump_tree : Format.formatter -> t -> unit