Generated on Mon May 30 22:31:54 2016 for Gecode by doxygen 1.6.1

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$.