projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Change in the Ata module:
[tatoo.git]
/
src
/
ata.mli
diff --git
a/src/ata.mli
b/src/ata.mli
index
443bb0b
..
815e20a
100644
(file)
--- a/
src/ata.mli
+++ b/
src/ata.mli
@@
-122,8
+122,8
@@
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_selecting_states : t -> StateSet.t
(** return the set of selecting states of the automaton *)
-val get_states_by_rank : t ->
StateSet.t
array
-(** return an array of states ordered by ranks.
+val get_states_by_rank : t ->
(StateSet.t*StateSet.t)
array
+(** return an array of states
(sources, states)
ordered by ranks.
*)
val get_max_rank : t -> int
*)
val get_max_rank : t -> int