X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=6fa19b013f7085ea9abf7a8eaecb3c2ae266e359;hb=c10ce35cd399aff15a49f3b24a31b38cb2191da0;hp=6bc38b5236d4aad275538334d280f73eccb789d6;hpb=3623eefccfb5fc69e19ad975a3669f51a2a8b276;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index 6bc38b5..6fa19b0 100644
--- a/tree.mli
+++ b/tree.mli
@@ -12,15 +12,27 @@ sig
   type t
   val parse_xml_uri : string -> t
   val parse_xml_string : string -> t
+  val tag_pool : t -> Tag.pool
   val string : t -> string
   val descr : t -> descr
   val left : t -> t
   val right : 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
+  val string_below : t -> string_content -> bool
+  val contains : t -> string -> DocIdSet.t
+  val contains_old : t -> string -> bool
+  val dump : t -> unit 
 end
 
 module Binary : BINARY
+
+module DEBUGTREE : sig
+  include BINARY
+  val print_stats : Format.formatter -> unit
+end