Enum rsmt2::SolverStyle

pub enum SolverStyle {
    Z3,
    CVC4,
}

Solver styles.

Variants

Z3

Z3-style smt solver.

CVC4

CVC4-style smt solver.

Methods

impl SolverStyle

fn default(self) -> SolverConf

Default configuration for a solver style.

fn of_str(s: &str) -> Option<SolverStyle>

A solver style from a string.

fn str_keys() -> Vec<&'static str>

Legal string representations of solver styles.

fn cmd(&self) -> String

Default command for a solver style.

Trait Implementations

impl Debug for SolverStyle

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Clone for SolverStyle

fn clone(&self) -> SolverStyle

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Display for SolverStyle

fn fmt(&self, fmt: &mut Formatter) -> Result

Formats the value using the given formatter.