Synchronized execution
[Using integer variables and constraints]

Functions
void	Gecode::wait (Home home, IntVar x, std::function< void(Space &home)> c, IntPropLevel ipl=IPL_DEF)
	Execute c when x becomes assigned.
void	Gecode::wait (Home home, BoolVar x, std::function< void(Space &home)> c, IntPropLevel ipl=IPL_DEF)
	Execute c when x becomes assigned.
void	Gecode::wait (Home home, const IntVarArgs &x, std::function< void(Space &home)> c, IntPropLevel ipl=IPL_DEF)
	Execute c when all variables in x become assigned.
void	Gecode::wait (Home home, const BoolVarArgs &x, std::function< void(Space &home)> c, IntPropLevel ipl=IPL_DEF)
	Execute c when all variables in x become assigned.
void	Gecode::when (Home home, BoolVar x, std::function< void(Space &home)> t, std::function< void(Space &home)> e, IntPropLevel ipl=IPL_DEF)
	Execute t (then) when x is assigned one, and e (else) otherwise.
void	Gecode::when (Home home, BoolVar x, std::function< void(Space &home)> t, IntPropLevel ipl=IPL_DEF)
	Execute t (then) when x is assigned one.

---

Detailed Description

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

---

Function Documentation

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

Execute c when x becomes assigned.

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

Execute c when x becomes assigned.

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

Execute c when all variables in x become assigned.

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

Execute c when all variables in x become assigned.

void Gecode::when	(	Home	home,
		BoolVar	x,
		std::function< void(Space &home)>	t,
		std::function< void(Space &home)>	e,
		IntPropLevel
	)

Execute t (then) when x is assigned one, and e (else) otherwise.

void Gecode::when	(	Home	home,
		BoolVar	x,
		std::function< void(Space &home)>	t,
		IntPropLevel
	)

Execute t (then) when x is assigned one.