val top_states : t -> state list
(** Give the list of top states of an ASTA *)
+val top_states_s : t -> StateSet.t
+(** Give the set of top states of an ASTA *)
+
+val bot_states_s : t -> StateSet.t
+(** Give the set of bottom states of an ASTA *)
+
+val selec_states : t -> StateSet.t
+(** Give the list of selecting states of an ASTA *)
+
val print : Format.formatter -> t -> unit
(** Pretty printer *)