X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=9169f3960837f35306a178d9b2658550d5772c15;hb=09870a49122b3d7048422818dbb0a038513b4d14;hp=75fb8fd5aa90f8e26158fef672ffa7863914be2b;hpb=f98a8d98d86941a885f492d5cc134e34989c198a;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index 75fb8fd..9169f39 100644
--- a/tree.mli
+++ b/tree.mli
@@ -26,18 +26,20 @@ val text_below : t -> t
 val text_next : t -> t -> t
 val tagged_desc : Tag.t -> t -> t
 val tagged_foll_below : Tag.t -> t -> t -> t
-val select_desc_only : Ptset.t -> t -> t
-val select_foll_only : Ptset.t -> t -> t -> t
-val select_below :   Ptset.t -> Ptset.t ->  t -> t
-val select_next :  Ptset.t -> Ptset.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 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.t
-val tags_after : t -> Tag.t -> Ptset.t
-val tags : t -> Tag.t -> Ptset.t*Ptset.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
@@ -48,3 +50,5 @@ 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