Module Promelaoutput

module Promelaoutput: sig .. end

val string_of_unop : Logic_ptree.unop -> string
val print_parsed_expression : Format.formatter -> Promelaast.expression -> unit
val print_parsed_condition : Format.formatter -> Promelaast.condition -> unit
val print_seq_elt : Promelaast.seq_elt Pretty_utils.formatter
val print_sequence : Format.formatter -> Promelaast.sequence -> unit
val print_parsed : Format.formatter -> Promelaast.parsed_condition -> unit
val print_condition : Format.formatter -> Promelaast.typed_condition -> unit
val print_one_action : Format.formatter -> Promelaast.single_action -> unit
val print_action : Format.formatter -> Promelaast.single_action list -> unit
val normal_funcs : ((string -> int -> int -> unit) * (unit -> unit) * (unit -> unit) *
(int -> unit))
option Pervasives.ref
val escape_newline : Format.formatter -> unit
val normal_newline : Format.formatter -> unit
val print_full_transition : Format.formatter ->
Promelaast.typed_condition * Promelaast.single_action list -> unit
val trans_label : int -> string
val print_trans : Format.formatter ->
(Promelaast.typed_condition * Promelaast.single_action list) Promelaast.trans ->
unit
val state_label : int -> string
val print_state_label : Format.formatter -> Promelaast.state -> unit
val print_bool3 : Format.formatter -> Bool3.t -> unit
val print_transition : Format.formatter ->
(Promelaast.typed_condition * Promelaast.single_action list) Promelaast.trans ->
unit
val print_transitionl : Format.formatter ->
(Promelaast.typed_condition * Promelaast.single_action list) Promelaast.trans
list -> unit
val print_state : Format.formatter -> Promelaast.state -> unit
val print_statel : Format.formatter -> Promelaast.state list -> unit
val print_raw_automata : Format.formatter ->
Promelaast.state list *
(Promelaast.typed_condition * Promelaast.single_action list) Promelaast.trans
list -> unit
val dot_state : Format.formatter -> Promelaast.state -> unit
val dot_trans : Format.formatter ->
(Promelaast.typed_condition * Promelaast.single_action list) Promelaast.trans ->
unit
val output_dot_automata : Promelaast.state list *
(Promelaast.typed_condition * Promelaast.single_action list) Promelaast.trans
list -> string -> unit