csp_solver/constraint/mod.rs
1//! Constraint trait, built-in implementations, and devirtualized dispatch.
2
3pub mod all_different;
4pub mod all_different_except;
5pub mod dispatch;
6pub mod implication;
7pub mod lambda;
8pub mod not_equal;
9pub(crate) mod scratch;
10pub mod traits;
11
12pub use all_different::AllDifferent;
13pub use all_different_except::AllDifferentExcept;
14pub use dispatch::ConstraintEnum;
15pub use implication::ImplicationConstraint;
16pub use lambda::LambdaConstraint;
17pub use not_equal::NotEqual;
18pub use traits::{Constraint, Revision, VarId};