Channel constraints
[Using integer set variables and constraints]
Functions | |
void | Gecode::channel (Home home, const IntVarArgs &x, const SetVarArgs &y) |
Post propagator for ![]() | |
void | Gecode::channelSorted (Home home, const IntVarArgs &x, SetVar y) |
Post propagator for ![]() ![]() | |
void | Gecode::channel (Home home, const BoolVarArgs &x, SetVar y) |
Post propagator for ![]() | |
void | Gecode::channel (Home home, const SetVarArgs &x, const SetVarArgs &y) |
Post propagator for ![]() |
Function Documentation
void Gecode::channel | ( | Home | home, | |
const IntVarArgs & | x, | |||
const SetVarArgs & | y | |||
) |
Post propagator for .
void Gecode::channelSorted | ( | Home | home, | |
const IntVarArgs & | x, | |||
SetVar | y | |||
) |
Post propagator for and
.
void Gecode::channel | ( | Home | home, | |
const BoolVarArgs & | x, | |||
SetVar | y | |||
) |
Post propagator for .
void Gecode::channel | ( | Home | home, | |
const SetVarArgs & | x, | |||
const SetVarArgs & | y | |||
) |
Post propagator for .