Output channels manager.
type t = private | Stdout| Stderr| Channel of string * out_channel * Format.formatter| Fmt of Format.formatter| Invalidval to_string : t -> stringto_string Returns a string representation of the output channel.
val of_formatter : Format.formatter -> tof_formatter fmt create an out channel of the formatter fmt.
val to_formatter : t -> 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.
val set_dump_models : t -> unitSet the models output channel used by the option `--dump-models`.
Default to Format.err_formatter.
val get_fmt_regular : unit -> Format.formatterValue specifying the formatter used to output results.
Default to Format.std_formatter.
val get_fmt_diagnostic : unit -> Format.formatterValue specifying the formatter used to output errors.
Default to Format.err_formatter.
val get_fmt_models : unit -> Format.formatterValue specifying the formatter used to output models printed by the `--dump-models` option.
Default to Format.err_formatter.