Skip to main content

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 cardinality;
6pub mod dispatch;
7pub mod implication;
8pub mod lambda;
9pub mod not_equal;
10pub mod soft;
11pub mod traits;
12
13pub use all_different::AllDifferent;
14pub use all_different_except::AllDifferentExcept;
15pub use cardinality::CardinalityConstraint;
16pub use dispatch::ConstraintEnum;
17pub use implication::ImplicationConstraint;
18pub use lambda::LambdaConstraint;
19pub use not_equal::NotEqual;
20pub use soft::SoftLambdaConstraint;
21pub use traits::{Constraint, Revision, SoftConstraint, VarId};