Generated on Sat Feb 7 2015 02:01:35 for Gecode by doxygen 1.8.9.1

Functions

void Gecode::wait (Home home, FloatVar x, void(*c)(Space &home))
 Execute c when x becomes assigned. More...
 
void Gecode::wait (Home home, const FloatVarArgs &x, void(*c)(Space &home))
 Execute c when all variables in x become assigned. More...
 

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,
void(*)(Space &home)  c 
)

Execute c when x becomes assigned.

Definition at line 44 of file exec.cpp.

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

Execute c when all variables in x become assigned.

Definition at line 50 of file exec.cpp.