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
-(** Add a state to the recognizing states of an asta *)
+(** Add a state to the selecting states of an asta *)
val add_bot : t -> state -> unit
(** Add a state to the bottom 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 *)