X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fasta.ml;h=3189b273bc8a166a199419feaecf716e508fe00a;hp=bbbba492cf6c6c01143a31b99e7f4ed2d4e5b2a6;hb=83c90cb5eeebfffa05d0383430eb80e7905b46a0;hpb=c1b43e1dcdb3d0960dbc50db9f226d68ad30c16e

diff --git a/src/asta.ml b/src/asta.ml
index bbbba49..3189b27 100644
--- a/src/asta.ml
+++ b/src/asta.ml
@@ -121,6 +121,10 @@ let init_top ast  = ast.top <- (StateSet.empty)
 
 let top_states ast = StateSet.elements ast.top
 
+let bot_states ast = ast.bottom
+
+let selec_states ast = ast.selec
+
 let print fmt asta =
   let print_box fmt flag = 
     let pp = Format.fprintf fmt in