State.print st
(QNameSet.to_string la)
Formula.print f
+
end
module SetT =
(remove_lab (SetT.elements (SetT.filter filter asta.trans_q)),
(remove_lab (SetT.elements (SetT.filter filter asta.trans_r))))
+let transitions_st_lab asta q lab =
+ let filter (s,l,f) = q = s && QNameSet.mem lab l in
+ let rec remove_st_lab = function
+ | [] -> []
+ | (s,l,f) :: tl -> f :: (remove_st_lab tl) in
+ (remove_st_lab (SetT.elements (SetT.filter filter asta.trans_q)),
+ (remove_st_lab (SetT.elements (SetT.filter filter asta.trans_r))))
+
let empty = {
quer = StateSet.empty;
reco = StateSet.empty;
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 = ()