Aliases for set constraints
[Direct modeling support]
Functions | |
void | Gecode::channel (Home home, const IntVarArgs &x, SetVar y) |
Post constraint . | |
void | Gecode::range (Home home, const IntVarArgs &x, SetVar y, SetVar z) |
Post constraint . | |
void | Gecode::roots (Home home, const IntVarArgs &x, SetVar y, SetVar z) |
Post constraint . |
Detailed Description
Contains definitions of common constraints which have different names in Gecode.
Function Documentation
void Gecode::channel | ( | Home | home, | |
const IntVarArgs & | x, | |||
SetVar | y | |||
) | [inline] |
Post constraint .
In addition to constraining y to the union of the x, this also posts an nvalue constraint for additional cardinality propagation.
void Gecode::range | ( | Home | home, | |
const IntVarArgs & | x, | |||
SetVar | y, | |||
SetVar | z | |||
) | [inline] |
Post constraint .
void Gecode::roots | ( | Home | home, | |
const IntVarArgs & | x, | |||
SetVar | y, | |||
SetVar | z | |||
) | [inline] |
Post constraint .
Note that this creates one temporary set variable for each element in the upper bound of z, so make sure that the bound is tight.