Skip to main content

csp_solver/
constraint.rs

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