Generated on Wed Nov 5 2014 05:18:35 for Gecode by doxygen 1.7.6.1
Channel 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$.

Definition at line 218 of file arithmetic.cpp.

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

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

Definition at line 226 of file arithmetic.cpp.