Struct rsmt2::conf::SolverConf
[−]
[src]
pub struct SolverConf { /* fields omitted */ }
Configuration and solver specific info.
Methods
impl SolverConf
[src]
fn z3() -> Self
[src]
Creates a new z3-like solver configuration.
fn cvc4() -> Self
[src]
Creates a new CVC4-like solver configuration.
fn style(&self) -> &SolverStyle
[src]
Solver style.
fn get_cmd(&self) -> &str
[src]
Solver command.
fn get_options(&self) -> &[&'static str]
[src]
Options of the configuration.
fn get_parse_success(&self) -> bool
[src]
Indicates if parse success is active.
fn get_check_sat_assuming(&self) -> &ConfItem
[src]
Keyword for check-sat with assumptions.
fn option(self, o: &'static str) -> Self
[src]
Adds an option to the configuration.
fn cmd(self, cmd: String) -> Self
[src]
Sets the command for the solver.
fn print_success(self) -> Self
[src]
Activates parse sucess.
fn unsat_cores(self) -> Self
[src]
Activates unsat-core production.
Trait Implementations
impl Debug for SolverConf
[src]
impl Clone for SolverConf
[src]
fn clone(&self) -> SolverConf
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more