Gecode::Set::Channel Namespace Reference
Channeling propagators for set variables. More...
|Propagator for the sorted channel constraint More...|
|Propagator for channelling between variable-value-dual models More...|
|Propagator for channelling between set variable and its characteristic function More...|
|Propagator for successors/predecessors channelling More...|
Channeling propagators for set variables.