X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fasta.mli;h=3fd98866fda59723cae6cda15afa203933eded4e;hb=07a2770a48f51b2e09b3be2d1608516b2377618e;hp=7bbf13da58b66c2cf91f9bc7ac53d762544b9804;hpb=d0dc6fbd661c7a79a2d8f875a204f587e6a5162d;p=tatoo.git

diff --git a/src/asta.mli b/src/asta.mli
index 7bbf13d..3fd9886 100644
--- a/src/asta.mli
+++ b/src/asta.mli
@@ -42,6 +42,10 @@ val transitions_lab : t -> QName.t -> (state*formula) list *(state*formula) list
 (** Give the list of states and formulae from queries and recognizing
     transitions for a given tag *)
 
+val transitions_st_lab : t -> state -> QName.t -> formula list * formula list
+(** Give the list of formulae from queries and recognizing transitions for a
+    given state and tag *)
+
 val empty : t
 (** The empty automaton *)