Enum rsmt2::conf::SolverStyle
[−]
[src]
pub enum SolverStyle { Z3, CVC4, }
Solver styles.
Variants
Z3
Z3-style smt solver.
CVC4
CVC4-style smt solver.
Methods
impl SolverStyle
[src]
fn default(self) -> SolverConf
[src]
Default configuration for a solver style.
fn of_str(s: &str) -> Option<SolverStyle>
[src]
A solver style from a string.
fn str_keys() -> Vec<&'static str>
[src]
Legal string representations of solver styles.
fn cmd(&self) -> String
[src]
Default command for a solver style.
Trait Implementations
impl Debug for SolverStyle
[src]
impl Clone for SolverStyle
[src]
fn clone(&self) -> SolverStyle
[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