Module Binsec.Smtlib_pp

val pp_spec_constant : Format.formatter -> Smtlib.constant -> unit

Pretty-printer for SMT-LIB AST

val pp_loc : Format.formatter -> Location.t -> unit

pretty-prints a location

val pp_symbol : Format.formatter -> Smtlib.symbol -> unit

pretty-prints a SMT symbol

val pp_sort : Format.formatter -> Smtlib.sort -> unit

pretty-prints a SMT sort

val pp_term : Format.formatter -> Smtlib.term -> unit

pretty-prints a SMT term

val pp_qual_identifier : Format.formatter -> Smtlib.qual_identifier -> unit

pretty-prints a SMT qualified identifier

val pp : Format.formatter -> Smtlib.script -> unit

pp fmt ast pretty-prints a full SMT-LIB script onto a formatter

val pp_command : Format.formatter -> Smtlib.command -> unit
val pp_commands : Format.formatter -> Smtlib.commands -> unit

pp_commands pretty_prints an arbitrary command list onto a formatter. Used by pp.

val pp_model : Format.formatter -> Smtlib.model -> unit
val pp_tofile : string -> Smtlib.script -> unit

pp_tofile filename script Prints a SMT-LIB script into the file named ** filename. The file is created if needed. Contents from any present file is ** not preserved.