Generated on Sat Jan 20 2018 22:21:20 for Gecode by doxygen 1.8.13

Functions

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

Detailed Description

Function Documentation

◆ channel() [1/4]

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 45 of file channel.cpp.

◆ channel() [2/4]

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

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

Definition at line 43 of file channel.hpp.

◆ channel() [3/4]

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

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

Definition at line 53 of file channel.cpp.

◆ channel() [4/4]

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

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

Definition at line 48 of file channel.hpp.