Generic propagators
[Other available functionality]
Classes | |
class | Gecode::UnaryWait< View > |
Wait propagator for single view. More... | |
class | Gecode::NaryWait< View > |
Wait propagator for several views. More... |
Detailed Description
This module contains a description of all predefined generic propagators.