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 ![]() | |
Contains definitions of common constraints which have different names in Gecode.
|
inline |
Post constraint .
In addition to constraining y to the union of the x, this also posts an nvalue constraint for additional cardinality propagation.
Definition at line 1888 of file minimodel.hh.
|
inline |
Post constraint .
Definition at line 1896 of file minimodel.hh.
|
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.
Definition at line 1906 of file minimodel.hh.