X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=b252bab43dffb3f37964b4c139a00cd1dfc8c550;hb=83aa6cf8a120ea6681402ce42ae56631fca1ddf4;hp=43e8ff7bb6e22eb625993b214e2cc86b5b96a203;hpb=d64e3a3a9ef6329caafdba848ef78427fce0d689;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index 43e8ff7..b252bab 100644
--- a/tree.mli
+++ b/tree.mli
@@ -23,6 +23,8 @@ sig
   val first_child : t -> t
   val next_sibling : t -> t
   val parent : t -> t
+  val root : t -> t
+  val is_root : t -> bool
   val id : t -> int
   val tag : t -> Tag.t
   val print_xml_fast : out_channel -> t -> unit
@@ -34,9 +36,19 @@ sig
   end with type elt = string_content
   val string_below : t -> string_content -> bool
   val contains : t -> string -> DocIdSet.t
-  val contains_old : t -> string -> bool
+  val contains_old : t -> string -> DocIdSet.t
+  val contains_iter : t -> string -> DocIdSet.t
+  val count_contains : t -> string -> int
+  val count : t -> string -> int
   val dump : t -> unit 
   val get_string : t -> string_content -> string
+  val has_tagged_desc : t -> Tag.t -> bool
+  val has_tagged_foll : t -> Tag.t -> bool
+  val tagged_desc : t -> Tag.t -> t
+  val tagged_foll : t -> Tag.t -> t
+  val tagged_next : t -> Tag.t -> t
+  val subtree_tags : t -> Tag.t -> int
+  val is_left : t -> bool
 end
 
 module Binary : BINARY