Synchronized execution

Functions
void	Gecode::wait (Home home, SetVar x, void(*c)(Space &home))
	Execute c when x becomes assigned.
void	Gecode::wait (Home home, const SetVarArgs &x, void(*c)(Space &home))
	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,
		SetVar	x,
		void(*)(Space &home)	c
	)

Execute c when x becomes assigned.

Definition at line 44 of file exec.cpp.

void Gecode::wait	(	Home	home,
		const SetVarArgs &	x,
		void(*)(Space &home)	c
	)

Execute c when all variables in x become assigned.

Definition at line 50 of file exec.cpp.