Generated on Fri Oct 19 11:25:35 2018 for Gecode by doxygen 1.6.3

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.