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...

---

Detailed Description

This module contains a description of all predefined generic propagators.