X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fata.mli;h=89593ccbddfaf3d35587551021bc820557d7dcc3;hp=815e20a4a317588472eeb77f4bc33488468feaee;hb=3b9dbcd9318dba41999dc6cc43093edbe5bc4c5d;hpb=05af95627d36110724ec6a2a6439c4842a228d19

diff --git a/src/ata.mli b/src/ata.mli
index 815e20a..89593cc 100644
--- a/src/ata.mli
+++ b/src/ata.mli
@@ -122,7 +122,11 @@ val get_starting_states : t -> StateSet.t
 val get_selecting_states : t -> StateSet.t
 (** return the set of selecting states of the automaton *)
 
-val get_states_by_rank : t -> (StateSet.t*StateSet.t) array
+type rank = { td : StateSet.t;
+              bu : StateSet.t;
+              exit : StateSet.t }
+
+val get_states_by_rank : t -> rank array
 (** return an array of states (sources, states) ordered by ranks.
 *)