Generated on Thu Apr 11 13:59:34 2019 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$.
void Gecode::channel (Home home, FloatVar x0, BoolVar x1)
 Post propagator for channeling a float and a Boolean variable $ x_0 = x_1$.
void Gecode::channel (Home home, BoolVar x0, FloatVar x1)
 Post propagator for channeling a float and a Boolean 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 
) [inline]

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

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

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

void Gecode::channel ( Home  home,
BoolVar  x0,
FloatVar  x1 
) [inline]

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