Generated on Fri Mar 20 15:56:34 2015 for Gecode by doxygen 1.6.3

Channel constraints
[Using float variables and constraints]

Functions

void Gecode::channel (Home home, FloatVar x0, IntVar x1)
 Post propagator for channeling a float and an integer variable $ x_0 = x_1$.
void Gecode::channel (Home home, IntVar x0, FloatVar x1)
 Post propagator for channeling a float and an integer variable $ x_0 = x_1$.

Function Documentation

void Gecode::channel ( Home  home,
FloatVar  x0,
IntVar  x1 
)

Post propagator for channeling a float and an integer variable $ x_0 = x_1$.

void Gecode::channel ( Home  home,
IntVar  x0,
FloatVar  x1 
)

Post propagator for channeling a float and an integer variable $ x_0 = x_1$.