Merged from branch stable-succint-refactor

[SXSI/xpathcomp.git] / automaton.mli

diff --git a/automaton.mli b/automaton.mli
index 337debe..af4cf56 100644 (file)
--- 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 :