Enum ConstraintEnum 

pub enum ConstraintEnum<D: Domain> {
    NotEqual(NotEqual),
    AllDifferent(AllDifferent),
    AllDifferentExcept(AllDifferentExcept<D::Value>),
    Lambda(LambdaConstraint<D>),
    Soft(SoftLambdaConstraint<D>),
    Custom(Box<dyn Constraint<D>>),
}

Enum-dispatched constraint storage. Avoids vtable indirection for built-in types.

Variants

NotEqual(NotEqual)

AllDifferent(AllDifferent)

AllDifferentExcept(AllDifferentExcept<D::Value>)

Lambda(LambdaConstraint<D>)

Soft(SoftLambdaConstraint<D>)

Custom(Box<dyn Constraint<D>>)

Implementations

impl<D: Domain> ConstraintEnum<D>

where D::Value: PartialEq,

pub fn scope(&self) -> &[VarId]

pub fn check(&self, assignment: &[Option<D::Value>]) -> bool

pub fn revise(&self, vars: &mut [Variable<D>], depth: usize) -> Revision

pub fn soft_penalty(&self, assignment: &[Option<D::Value>]) -> f64

For soft constraints, compute the penalty if the underlying predicate is violated. Returns 0.0 for hard constraints or satisfied soft constraints.

Trait Implementations

impl<D: Domain> Debug for ConstraintEnum<D>

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

Formats the value using the given formatter.