Module constraint 

Constraint trait, built-in implementations, and devirtualized dispatch.

Re-exports

pub use all_different::AllDifferent;

pub use all_different_except::AllDifferentExcept;

pub use cardinality::CardinalityConstraint;

pub use dispatch::ConstraintEnum;

pub use implication::ImplicationConstraint;

pub use lambda::LambdaConstraint;

pub use not_equal::NotEqual;

pub use soft::SoftLambdaConstraint;

pub use traits::Constraint;

pub use traits::Revision;

pub use traits::SoftConstraint;

pub use traits::VarId;

Modules

all_different

N-ary all-different constraint.

all_different_except

N-ary all-different constraint with a sentinel escape value.

cardinality

Cardinality constraint: at-least / at-most / exactly N variables take a particular value.

dispatch

ConstraintEnum: devirtualized dispatch for hot-path constraints.

implication

Reified implication constraint: antecedent = a → consequent ∈ allowed.

lambda

Generic closure-based constraint.

not_equal

Binary not-equal constraint: x != y.

soft

Generic closure-based soft constraint.

traits

Core constraint trait and supporting types.