Added parsing of command line options to set sample factor, disabling storage

[SXSI/xpathcomp.git] / automaton.mli

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