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

diff --git a/tree.mli b/tree.mli
index ad244e4..43e8ff7 100644
--- a/tree.mli
+++ b/tree.mli
@@ -17,19 +17,26 @@ sig
   val tag_pool : t -> Tag.pool
   val string : t -> string
   val descr : t -> descr
+  val is_node : t -> bool
   val left : t -> t
   val right : t -> t
+  val first_child : t -> t
+  val next_sibling : t -> t
   val parent : t -> t
   val id : t -> int
   val tag : t -> Tag.t
   val print_xml_fast : out_channel -> t -> unit
   val compare : t -> t -> int
   val equal : t -> t -> bool
-  module DocIdSet : Set.S with type elt = string_content
+  module DocIdSet : 
+  sig 
+    include Set.S  
+  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 dump : t -> unit 
+  val get_string : t -> string_content -> string
 end
 
 module Binary : BINARY