Enum ConstraintStatus 

pub enum ConstraintStatus {
    FREE,
    POSTED,
    REIFIED,
}

The operational status of a constraint.

Variants

FREE

Constraint is not yet posted or reified.

POSTED

Constraint has been posted to the solver.

REIFIED

Constraint has been converted to a boolean variable.

Trait Implementations

impl Clone for ConstraintStatus

fn clone(&self) -> ConstraintStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstraintStatus

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

Formats the value using the given formatter.

impl PartialEq for ConstraintStatus

fn eq(&self, other: &ConstraintStatus) -> 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 TryFrom<i32> for ConstraintStatus

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: i32) -> Result<Self, Self::Error>

Performs the conversion.

impl Copy for ConstraintStatus

impl Eq for ConstraintStatus

impl StructuralPartialEq for ConstraintStatus