X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fruntime.mli;h=39278e629b80ad528670083e579eb7c6eba48b88;hb=cb728132e1c5cb0a171ee09e9b3ced16da08f796;hp=a30db0da6edb0212b68aa349edc23cee30944e06;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;p=SXSI%2Fxpathcomp.git

diff --git a/src/runtime.mli b/src/runtime.mli
index a30db0d..39278e6 100644
--- a/src/runtime.mli
+++ b/src/runtime.mli
@@ -2,6 +2,8 @@ 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
+  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