Generated on Thu Jan 20 2022 00:00:00 for Gecode by doxygen 1.9.1
channel.hpp File Reference

Go to the source code of this file.

Functions

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

Function Documentation

◆ channel()

void Gecode::channel ( Home  home,
IntVar  x0,
BoolVar  x1,
IntPropLevel  ipl 
)
inline

Post domain consistent propagator for channeling an integer and a Boolean variable $ x_0 = x_1$.

Definition at line 37 of file channel.hpp.