Synchronized execution
[Using float variables and constraints]

Functions
void	Gecode::wait (Home home, FloatVar x, std::function< void(Space &home)> c)
	Execute c when x becomes assigned.
void	Gecode::wait (Home home, const FloatVarArgs &x, std::function< void(Space &home)> c)
	Execute c when all variables in x become assigned.

---

Detailed Description

Synchronized execution executes a function or a static member function when a certain event happends.

---

Function Documentation

void Gecode::wait	(	Home	home,
		FloatVar	x,
		std::function< void(Space &home)>	c
	)

Execute c when x becomes assigned.

void Gecode::wait	(	Home	home,
		const FloatVarArgs &	x,
		std::function< void(Space &home)>	c
	)

Execute c when all variables in x become assigned.