X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=automaton.mli;h=af4cf5698ffc541b3c909e85c33a5de00770980a;hb=7dea5fd8bedede27d4d601f85630a249bfab420b;hp=ddb90ceac13ddb383fb22ff302e8c849568ae571;hpb=6b03c8ef3dac4b1de06ca577e8e0ee07c6c3eae7;p=SXSI%2Fxpathcomp.git

diff --git a/automaton.mli b/automaton.mli
index ddb90ce..af4cf56 100644
--- 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