X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fata.mli;h=9fa9d67286ac3720beeeb2d146fd6988c1a235b7;hb=ecec752325cb3d207894a4f8d772936bd7ad9f4a;hp=d249e9b4a7dfd245f9307e361a694aa3c3be44db;hpb=db0ad408721f202e33785958211fe6e4228fce8f;p=SXSI%2Fxpathcomp.git

diff --git a/src/ata.mli b/src/ata.mli
index d249e9b..9fa9d67 100644
--- 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