Enum ConstraintEnum 

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

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

There is deliberately no Lambda variant: every closure-based constraint (add_equals, add_less_than, add_greater_than, and external LambdaConstraints) enters through Custom, which boxes the dyn Constraint. A devirtualized Lambda arm carried zero construction sites (Pass-1 R1) and was excised; W10 may re-introduce it behind profiling if the boxed dispatch shows up hot.

Variants

NotEqual(NotEqual)

AllDifferent(AllDifferent)

AllDifferentExcept(AllDifferentExcept<D::Value>)

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

impl<D: Domain> ConstraintEnum<D>

where D::Value: PartialEq + 'static,

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

Trait Implementations

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

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

Formats the value using the given formatter.