trans : (State.t, (TagSet.t * Transition.t) list) Hashtbl.t;
marking_states : StateSet.t;
topdown_marking_states : StateSet.t;
bottom_states : StateSet.t;
true_states : StateSet.t
trans : (State.t, (TagSet.t * Transition.t) list) Hashtbl.t;
marking_states : StateSet.t;
topdown_marking_states : StateSet.t;
bottom_states : StateSet.t;
true_states : StateSet.t
in
let sorted_trs = List.stable_sort Transition.compare trs in
let strings = Transition.format_list sorted_trs in
match strings with
in
let sorted_trs = List.stable_sort Transition.compare trs in
let strings = Transition.format_list sorted_trs in
match strings with
- fprintf ppf "%s\n%!" sline;
- List.iter (fun s -> fprintf ppf "%s\n%!" s) strings;
- fprintf ppf "%s\n%!" sline
+ fprintf ppf "%s@\n" sline;
+ List.iter (fun s -> fprintf ppf "%s@\n" s) strings;
+ fprintf ppf "%s@\n" sline