Enum SmtBackend 

pub enum SmtBackend {
    Z3Inc,
    Z3Sq,
    CVC5Inc,
    CVC5Sq,
    NoSmt,
}

Variants

Z3Inc

Z3Sq

CVC5Inc

CVC5Sq

NoSmt

Trait Implementations

impl Clone for SmtBackend

fn clone(&self) -> SmtBackend

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SmtBackend

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for SmtBackend

fn eq(&self, other: &SmtBackend) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl ValueEnum for SmtBackend

fn value_variants<'a>() -> &'a [Self]

All possible argument values, in display order.

fn to_possible_value<'a>(&self) -> Option<PossibleValue>

The canonical argument value.

fn from_str(input: &str, ignore_case: bool) -> Result<Self, String>

Parse an argument into Self.

impl Copy for SmtBackend

impl Eq for SmtBackend

impl StructuralPartialEq for SmtBackend