X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fasta.mli;h=e3d3c0de58e70ef30afa79766296d9ca9e79a52c;hp=190f97920d6894347a87e38fbc2a370aaa983141;hb=83c90cb5eeebfffa05d0383430eb80e7905b46a0;hpb=c1b43e1dcdb3d0960dbc50db9f226d68ad30c16e

diff --git a/src/asta.mli b/src/asta.mli
index 190f979..e3d3c0d 100644
--- a/src/asta.mli
+++ b/src/asta.mli
@@ -75,6 +75,12 @@ val init_top : t -> unit
 val top_states : t -> state list
 (** Give the list of top states of an ASTA *)
 
+val bot_states : t -> StateSet.t
+(** Give the list 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 *)