CpltSet propagators
[Other available functionality]
Detailed Description
This module contains a description of all predefined propagators for CpltSet variables. They can be reused, for example, for rewriting newly defined CpltSet propagators into already available propagators.
Classes | |
class | Gecode::CpltSet::NaryCpltSetPropagator< View > |
Nary propagator for CpltSet variables. More... | |
class | Gecode::CpltSet::BinaryCpltSetPropagator< View0, View1 > |
Binary propagator for CpltSet variables. More... | |
class | Gecode::CpltSet::NaryOneCpltSetPropagator< View0, View1 > |
Propagator for CpltSet variables with n+1 arguments. More... | |
class | Gecode::CpltSet::NaryTwoCpltSetPropagator< View0, View1 > |
Propagator for CpltSet variables with n+2 arguments. More... | |
class | Gecode::CpltSet::BinRelDisj< View0, View1 > |
Binary Rel Disjoint Propagator. More... | |
class | Gecode::CpltSet::Singleton< View1, View2 > |
Singleton channel propagator from IntVar to CpltSetVar. More... |