Temporary commit

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

diff --git a/src/ata.mli b/src/ata.mli
index d249e9b..9fa9d67 100644 (file)
--- a/src/ata.mli
+++ b/src/ata.mli
@@ -24,3 +24,4 @@ type jump_kind =
 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