Some more bugfixing for the contains.

[SXSI/xpathcomp.git] / automaton.mli

diff --git a/automaton.mli b/automaton.mli
index ddb90ce..af4cf56 100644 (file)
--- a/automaton.mli
+++ b/automaton.mli
@@ -54,13 +54,14 @@ type t = { initial : SSet.t;
           mutable result : BST.t;
           mutable numbt : int;
           mutable max_states : int;
+          contains : (string,Tree.Binary.DocIdSet.t) Hashtbl.t;
         }
 val mk : unit -> t
 val dump : Format.formatter -> t -> unit
 module BottomUp :
   sig
 
-    val accepting_among : ?strings:Tree.Binary.DocIdSet.t option ->
+    val accepting_among : ?nobrother:bool -> ?strings:Tree.Binary.DocIdSet.t option ->
       t -> Tree.Binary.t -> SSet.t -> SSet.t
     val accept : ?strings:Tree.Binary.DocIdSet.t option -> 
       t -> Tree.Binary.t -> bool