Generated on Thu Mar 22 10:39:49 2012 for Gecode by doxygen 1.6.3

Synchronized execution
[Using finite integer sets]

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.

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

Execute c when all variables in x become assigned.