Module pcp::propagators

Propagators are implementations of constraints, a single constraint can be realized by different propagators.

We keep the propagator implementations generic over domains implementing specific operations (e.g. intersection or union). Propagators are also implemented to work on variable views, you can always obtain a view from a variable by using the Identity view.

Re-exports

pub use propagators::cmp::*;

pub use propagators::distinct::*;

pub use propagators::all_equal::*;

Modules

all_equal
cmp
cumulative
distinct