let top_states ast = StateSet.elements ast.top
+let top_states_s ast = ast.top
+
+let bot_states_s ast = ast.bottom
+
+let selec_states ast = ast.selec
+
let print fmt asta =
let print_box fmt flag =
let pp = Format.fprintf fmt in
print_box_list asta.trans_q;
Format.fprintf fmt "@[<v 0># Recognizing transitions:@ %a@]"
print_box_list asta.trans_r in
- Format.fprintf fmt "@[<v 1>##### ASTA #####@, %a@ @]@." print_box 0
+ Format.fprintf fmt "@[<v 1>##### ASTA #####@. %a@ @]@." print_box 0
let to_file out asta = ()