Generic propagators
[Other available functionality]
Classes | |
| class | Gecode::Kernel::UnaryWait< View > |
| Wait propagator for single view. More... | |
| class | Gecode::Kernel::NaryWait< View > |
| Wait propagator for several views. More... | |