bug fixes, added the count queries

[SXSI/xpathcomp.git] / ata.mli

diff --git a/ata.mli b/ata.mli
index 593a39e..bf9368f 100644 (file)
--- a/ata.mli
+++ b/ata.mli
@@ -78,6 +78,7 @@ end
 (*module BottomUpJumpNew : 
 sig *)
   val run : t -> Tree.Binary.t -> TS.t
+  val run_count : t -> Tree.Binary.t -> int
   val run_time :  t -> Tree.Binary.t -> TS.t
 (*end *)