,

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@68 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

diff --git a/automaton.mli b/automaton.mli
index 337debe..ddb90ce 100644 (file)
--- a/automaton.mli
+++ b/automaton.mli
@@ -60,9 +60,10 @@ val dump : Format.formatter -> t -> unit
 module BottomUp :
   sig
 
-    val accepting_among :
+    val accepting_among : ?strings:Tree.Binary.DocIdSet.t option ->
       t -> Tree.Binary.t -> SSet.t -> SSet.t
-    val accept : t -> Tree.Binary.t -> bool
+    val accept : ?strings:Tree.Binary.DocIdSet.t option -> 
+      t -> Tree.Binary.t -> bool
   end
 
 module TopDown :

diff --git a/tree.mli b/tree.mli
index 329d497..fd7bad7 100644 (file)
--- a/tree.mli
+++ b/tree.mli
@@ -16,16 +16,22 @@ sig
   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
 
-val dump : Binary.t -> unit
-val traversal : Binary.t -> unit
-val full_traversal : Binary.t -> unit
-val cpp_traversal : Binary.t -> unit
+module DEBUGTREE : sig
+  include BINARY
+  val print_stats : Format.formatter -> unit
+end