projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Bump file format magic number, invalidate all previously generated indexes.
[SXSI/xpathcomp.git]
/
src
/
runtime.mli
diff --git
a/src/runtime.mli
b/src/runtime.mli
index
a30db0d
..
c499017
100644
(file)
--- a/
src/runtime.mli
+++ b/
src/runtime.mli
@@
-2,6
+2,9
@@
module type S = sig
type result_set
val top_down_run : Ata.t -> Tree.t -> Tree.node -> result_set
val bottom_up_run : Ata.t -> Tree.t -> Compile.text_query * string -> result_set
type result_set
val top_down_run : Ata.t -> Tree.t -> Tree.node -> result_set
val bottom_up_run : Ata.t -> Tree.t -> Compile.text_query * string -> result_set
+ val grammar_run : Ata.t -> Grammar2.t -> unit -> result_set
+ val naive_top_down_run : Ata.t -> Tree.t -> Tree.node -> result_set
+ val twopass_top_down_run : Ata.t -> Tree.t -> Tree.node -> result_set
end
module Make (U : ResJIT.S) : S with type result_set = U.NS.t
end
module Make (U : ResJIT.S) : S with type result_set = U.NS.t