X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ata.mli;h=32f28a0144c4c1864421304c14f4bc3f6292d8f9;hb=aafe9afd804263ac5e28cb2e7857cc003e3c1d2d;hp=e446c8a2c50e159a2af23266b6db5444262c7b9c;hpb=5b4679e20761058f1e04c123da52631c0dd265cc;p=SXSI%2Fxpathcomp.git

diff --git a/ata.mli b/ata.mli
index e446c8a..32f28a0 100644
--- a/ata.mli
+++ b/ata.mli
@@ -1,8 +1,8 @@
-(* module Ptset : sig
+(*  module Ptset : sig
   include Set.S with type elt = int
   val from_list : elt list -> t
  end
-*)
+   *)
 
 type state = int
 val mk_state : unit -> state
@@ -76,4 +76,10 @@ end
 module BottomUpNew : 
 sig
   val run : t -> Tree.Binary.t -> TS.t
+  val run_count : t -> Tree.Binary.t -> int
+end
+
+module Jump : 
+sig
+  val run : t -> Tree.Binary.t -> Ptset.t -> TS.t
 end