Enum SatBackend 

pub enum SatBackend {
    Cadical,
    Batsat,
}

SAT backends compiled into this build. The default is CaDiCaL when available, otherwise BatSat.

Variants

Cadical

Batsat

Trait Implementations

impl Clone for SatBackend

fn clone(&self) -> SatBackend

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SatBackend

impl Debug for SatBackend

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

Formats the value using the given formatter.

impl Default for SatBackend

fn default() -> SatBackend

Returns the “default value” for a type.

impl Display for SatBackend

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

Formats the value using the given formatter.

impl Eq for SatBackend

impl PartialEq for SatBackend

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SatBackend

impl ValueEnum for SatBackend

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

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.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 1 byte

Size for each variant:

• Cadical: 0 bytes
• Batsat: 0 bytes