1signature satConfig =
2sig
3    include Abbrev
4
5type sat_config
6
7val base_config : sat_config
8
9val get_term : sat_config -> Term.term
10val get_solver : sat_config -> SatSolvers.sat_solver
11val get_infile : sat_config -> string option
12val get_proof : sat_config -> string option
13val get_flag_is_cnf : sat_config -> bool
14val get_flag_is_proved : sat_config -> bool
15
16val set_term : Term.term -> sat_config -> sat_config
17val set_solver : SatSolvers.sat_solver -> sat_config -> sat_config
18val set_infile : string -> sat_config -> sat_config
19val set_proof : string -> sat_config -> sat_config
20val set_flag_is_cnf : bool -> sat_config -> sat_config
21val set_flag_is_proved : bool -> sat_config -> sat_config
22
23val dest_config : sat_config ->
24                  (Term.term * SatSolvers.sat_solver * string option *
25                   string option * bool * bool)
26
27end
28