Enum Config 

pub enum Config {
    Default,
    Plain,
    Sat,
    Unsat,
}

Possible CaDiCaL configurations

Variants

Default

Set default advanced internal options

Plain

Disable all internal preprocessing options

Sat

Set internal options to target satisfiable instances

Unsat

Set internal options to target unsatisfiable instances

Trait Implementations

impl Clone for Config

fn clone(&self) -> Config

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Config

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

Formats the value using the given formatter.

impl Display for Config

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

Formats the value using the given formatter.

impl From<&Config> for &'static CStr

fn from(value: &Config) -> Self

Converts to this type from the input type.

impl From<Config> for &'static CStr

fn from(value: Config) -> Self

Converts to this type from the input type.

impl PartialEq for Config

fn eq(&self, other: &Config) -> 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 Copy for Config

impl Eq for Config

impl StructuralPartialEq for Config