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

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