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 ![]() | |
void Gecode::channel | ( | Home | home, |
const IntVarArgs & | x, | ||
const SetVarArgs & | y | ||
) |
Post propagator for .
Definition at line 56 of file channel.cpp.
void Gecode::channelSorted | ( | Home | home, |
const IntVarArgs & | x, | ||
SetVar | y | ||
) |
Post propagator for and
.
Definition at line 49 of file channel.cpp.
void Gecode::channel | ( | Home | home, |
const BoolVarArgs & | x, | ||
SetVar | y | ||
) |
Post propagator for .
Definition at line 68 of file channel.cpp.
void Gecode::channel | ( | Home | home, |
const SetVarArgs & | x, | ||
const SetVarArgs & | y | ||
) |
Post propagator for .
Definition at line 76 of file channel.cpp.