Enum State 

pub enum State {
    INITIALIZING = 1,
    CONFIGURING = 2,
    STEADY = 4,
    ADDING = 8,
    SOLVING = 16,
    SATISFIED = 32,
    UNSATISFIED = 64,
    DELETING = 128,
    READY = 102,
    VALID = 110,
    INVALID = 129,
}

States are represented by a bit-set in order to combine them.

Variants

INITIALIZING = 1

during initialization (invalid)

CONFIGURING = 2

configure options (with ‘set’)

STEADY = 4

ready to call ‘solve’

ADDING = 8

adding clause literals (zero missing)

SOLVING = 16

while solving (within ‘solve’)

SATISFIED = 32

satisfiable allows ‘val’

UNSATISFIED = 64

unsatisfiable allows ‘failed’

DELETING = 128

during and after deletion (invalid)

READY = 102

These combined states are used to check contracts. CONFIGURING | STEADY | SATISFIED | UNSATISFIED,

VALID = 110

READY | ADDING

INVALID = 129

INITIALIZING | DELETING

Trait Implementations

impl Clone for State

fn clone(&self) -> State

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for State

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

Formats the value using the given formatter.

impl From<i32> for State

fn from(val: i32) -> Self

Converts to this type from the input type.

impl Hash for State

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for State

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

impl Eq for State

impl StructuralPartialEq for State