X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fata.mli;h=74966b1f81f3c6c02124182130fc36e3ab89b290;hb=refs%2Fheads%2Fmaster;hp=d249e9b4a7dfd245f9307e361a694aa3c3be44db;hpb=13f8cb39ae4df2a6ae68f013eef6d3dc61489263;p=SXSI%2Fxpathcomp.git

diff --git a/src/ata.mli b/src/ata.mli
index d249e9b..74966b1 100644
--- a/src/ata.mli
+++ b/src/ata.mli
@@ -21,6 +21,9 @@ type jump_kind =
   | JUMP_MANY of Ptset.Int.t
   | CAPTURE_MANY of Ptset.Int.t
 
+val print_kind : Format.formatter -> jump_kind -> unit
+
 val top_down_approx : t -> StateSet.t -> Tree.t -> jump_kind
 
 val init : unit -> unit
+val get_trans : ?attributes:TagSet.t -> t -> StateSet.t -> Tag.t -> Translist.t * StateSet.t * StateSet.t