X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=automaton.mli;h=af4cf5698ffc541b3c909e85c33a5de00770980a;hb=f84dd2f6de7d5da16da729dc2e91cbdeb3585d75;hp=337debe4b7fc8301652145ad35f759d7d89e052a;hpb=3623eefccfb5fc69e19ad975a3669f51a2a8b276;p=SXSI%2Fxpathcomp.git

diff --git a/automaton.mli b/automaton.mli
index 337debe..af4cf56 100644
--- a/automaton.mli
+++ b/automaton.mli
@@ -54,15 +54,17 @@ 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 :
+    val accepting_among : ?nobrother:bool -> ?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 :