package psmt2-frontend

  1. Overview
  2. Docs

Module Psmt2Frontend.OptionsSource

Sourceval set_verbose : int -> unit
Sourceval verbose : unit -> int
Sourceval status : unit -> string
Sourceval set_status : string -> unit
Sourceval quiet : unit -> bool
Sourceval set_quiet : bool -> unit
Sourceval assert_mode : unit -> bool
Sourceval set_assert_mode : bool -> unit
Sourceval keep_loc : unit -> bool
Sourceval set_keep_loc : bool -> unit
Sourceval warning_as_error : unit -> bool
Sourceval set_warning_as_error : bool -> unit
Sourceval filename : unit -> string
Sourceval set_filename : string -> unit
Sourceval set_logic : bool -> unit
Sourceval set_is_qf : bool -> unit
Sourceval set_is_uf : bool -> unit
Sourceval set_is_fp : bool -> unit
Sourceval set_is_real : bool -> unit
Sourceval set_is_int_real : bool -> unit
Sourceval set_is_dt : bool -> unit
Sourceval set_is_linear : bool -> unit
Sourceval set_is_non_linear : bool -> unit
Sourceval get_logic : unit -> bool
Sourceval get_is_qf : unit -> bool
Sourceval get_is_uf : unit -> bool
Sourceval get_is_fp : unit -> bool
Sourceval get_is_real : unit -> bool
Sourceval get_is_int_real : unit -> bool
Sourceval get_is_dt : unit -> bool
Sourceval get_is_linear : unit -> bool
Sourceval get_is_non_linear : unit -> bool
Sourceval set_err_fmt : Format.formatter -> unit
Sourceval get_err_fmt : unit -> Format.formatter
Sourceval check_command : string -> unit