Output channels manager.
val of_formatter : Stdlib.Format.formatter -> tof_formatter fmt create an out channel of the formatter fmt.
val to_formatter : t -> Stdlib.Format.formatterto_formatter fmt return the underlying formatter.
val create_channel : string -> tcreate_filename filename create an out channel to the file filename. If the argument is "stdout", respectively "stderr", the channel is the standard output, respectively the standard error. If the file does not exist, the procedure creates it. An existant file is truncated to zero length.
val set_regular : t -> unitSet the regular output channel used by default to output results, models and unsat cores.
Default to Format.std_formatter.
val set_diagnostic : t -> unitSet the diagnostic output channel used by default to output errors, debug and warning informations.
Default to Format.err_formatter.
Value specifying the formatter used to output results.
Default to Format.std_formatter.
Value specifying the formatter used to output errors.
Default to Format.err_formatter.
Value specifying the formatter used to output warnings.
Default to Format.err_formatter.
Value specifying the formatter used to output debug informations.
Default to Format.err_formatter.
Value specifying the formatter used to output unsat cores.
Default to Format.std_formatter.
val set_std : t -> unitSet fmt_std accessible with get_fmt_std
val set_err : t -> unitSet fmt_err accessible with get_fmt_err
val set_wrn : t -> unitSet fmt_wrn accessible with get_fmt_wrn
val set_dbg : t -> unitSet fmt_dbg accessible with get_fmt_dbg
val set_usc : t -> unitSet fmt_usc accessible with get_fmt_usc