Merge branch 'handle-stdout'

[SXSI/xpathcomp.git] / src / ata.mli

diff --git a/src/ata.mli b/src/ata.mli
index d249e9b..74966b1 100644 (file)
--- 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