X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fruntime.mli;h=c4990175a8dc5ece691a26b15e30a97365d184c6;hb=ecec752325cb3d207894a4f8d772936bd7ad9f4a;hp=0ce04efaa3a7327cf69e42de49f83ac3b579ace2;hpb=db0ad408721f202e33785958211fe6e4228fce8f;p=SXSI%2Fxpathcomp.git

diff --git a/src/runtime.mli b/src/runtime.mli
index 0ce04ef..c499017 100644
--- a/src/runtime.mli
+++ b/src/runtime.mli
@@ -3,6 +3,8 @@ module type S = sig
   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