Generated on Wed Jan 24 2018 21:22:26 for Gecode by doxygen 1.8.13

Functions

void Gecode::wait (Home home, FloatVar x, std::function< void(Space &home)> c)
 Execute c when x becomes assigned. More...
 
void Gecode::wait (Home home, const FloatVarArgs &x, std::function< void(Space &home)> c)
 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

◆ wait() [1/2]

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

Execute c when x becomes assigned.

Definition at line 44 of file exec.cpp.

◆ wait() [2/2]

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

Execute c when all variables in x become assigned.

Definition at line 50 of file exec.cpp.