package alt-ergo-lib

  1. Overview
  2. Docs

Module Options.Output

Output channels manager.

type t = private
  1. | Stdout
  2. | Stderr
  3. | Channel of out_channel * Format.formatter
  4. | Fmt of Format.formatter
  5. | Invalid
val of_formatter : Format.formatter -> t

of_formatter fmt create an out channel of the formatter fmt.

val to_formatter : t -> Format.formatter

to_formatter fmt return the underlying formatter.

val create_channel : string -> t

create_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 close_all : unit -> unit

Flushing and closing all the remaining output channels.

val set_regular : t -> unit

Set the regular output channel used by default to output results, models and unsat cores.

Default to Format.std_formatter.

val set_diagnostic : t -> unit

Set the diagnostic output channel used by default to output errors, debug and warning informations.

Default to Format.err_formatter.

val get_fmt_std : unit -> Format.formatter

Value specifying the formatter used to output results.

Default to Format.std_formatter.

val get_fmt_err : unit -> Format.formatter

Value specifying the formatter used to output errors.

Default to Format.err_formatter.

val get_fmt_wrn : unit -> Format.formatter

Value specifying the formatter used to output warnings.

Default to Format.err_formatter.

val get_fmt_dbg : unit -> Format.formatter

Value specifying the formatter used to output debug informations.

Default to Format.err_formatter.

val get_fmt_usc : unit -> Format.formatter

Value specifying the formatter used to output unsat cores.

Default to Format.std_formatter.

val set_std : t -> unit

Set fmt_std accessible with get_fmt_std

val set_err : t -> unit

Set fmt_err accessible with get_fmt_err

val set_wrn : t -> unit

Set fmt_wrn accessible with get_fmt_wrn

val set_dbg : t -> unit

Set fmt_dbg accessible with get_fmt_dbg

val set_usc : t -> unit

Set fmt_usc accessible with get_fmt_usc