projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add queries states
[tatoo.git]
/
src
/
asta.mli
diff --git
a/src/asta.mli
b/src/asta.mli
index
a0d589f
..
6f592fb
100644
(file)
--- a/
src/asta.mli
+++ b/
src/asta.mli
@@
-52,8
+52,11
@@
val add_tr : t -> transition -> unit
val add_reco : t -> state -> unit
(** Add a state to the recognizing states of an asta *)
val add_reco : t -> state -> unit
(** Add a state to the recognizing states of an asta *)
+val add_quer : t -> state -> unit
+(** Add a state to the query states of an asta *)
+
val add_selec : t -> state -> unit
val add_selec : t -> state -> unit
-(** Add a state to the
recogniz
ing states of an asta *)
+(** Add a state to the
select
ing states of an asta *)
val add_bot : t -> state -> unit
(** Add a state to the bottom states of an asta *)
val add_bot : t -> state -> unit
(** Add a state to the bottom states of an asta *)
@@
-61,6
+64,9
@@
val add_bot : t -> state -> unit
val add_top : t -> state -> unit
(** Add a state to the top states of an asta *)
val add_top : t -> state -> unit
(** Add a state to the top states of an asta *)
+val init_top : t -> unit
+(** Remove all top states *)
+
val top_states : t -> state list
(** Give the list of top states of an ASTA *)
val top_states : t -> state list
(** Give the list of top states of an ASTA *)