wait.hpp File Reference

Go to the source code of this file.

Classes
class	Gecode::UnaryWait< View >
	Wait propagator for single view. More...
class	Gecode::NaryWait< View >
	Wait propagator for several views. More...
Namespaces
namespace	Gecode
	Gecode toplevel namespace