
Functions | |
| void | Gecode::element (Home home, SetOpType op, const SetVarArgs &x, SetVar y, SetVar z, const IntSet &u=IntSet(Set::Limits::min, Set::Limits::max)) |
Post propagator for . More... | |
| void | Gecode::element (Home home, SetOpType op, const IntVarArgs &x, SetVar y, SetVar z, const IntSet &u=IntSet(Set::Limits::min, Set::Limits::max)) |
Post propagator for . More... | |
| void | Gecode::element (Home home, SetOpType op, const IntSetArgs &x, SetVar y, SetVar z, const IntSet &u=IntSet(Set::Limits::min, Set::Limits::max)) |
Post propagator for . More... | |
| void | Gecode::element (Home home, SetOpType op, const IntArgs &x, SetVar y, SetVar z, const IntSet &u=IntSet(Set::Limits::min, Set::Limits::max)) |
Post propagator for . More... | |
| void | Gecode::element (Home home, const SetVarArgs &x, IntVar y, SetVar z) |
Post propagator for . More... | |
| void | Gecode::element (Home home, const IntSetArgs &s, IntVar y, SetVar z) |
Post propagator for . More... | |
| void | Gecode::element (Home home, const IntSetArgs &a, IntVar x, int w, IntVar y, int h, SetVar z) |
Post propagator for . More... | |
| void | Gecode::element (Home home, const SetVarArgs &a, IntVar x, int w, IntVar y, int h, SetVar z) |
Post propagator for . More... | |
An element constraint selects zero, one or more elements out of a sequence. We write
for the sequence, and
for the index variable.
Set element constraints are closely related to the element constraint on integer variables.
| void Gecode::element | ( | Home | home, |
| SetOpType | op, | ||
| const SetVarArgs & | x, | ||
| SetVar | y, | ||
| SetVar | z, | ||
| const IntSet & | u = IntSet(Set::Limits::min, Set::Limits::max) |
||
| ) |
Post propagator for
.
If y is the empty set, the usual conventions for set operations apply: an empty union is empty, while an empty intersection is the universe, which can be given as the optional parameter u.
The indices for y start at 0.
Definition at line 56 of file element.cpp.
| void Gecode::element | ( | Home | home, |
| SetOpType | op, | ||
| const IntVarArgs & | x, | ||
| SetVar | y, | ||
| SetVar | z, | ||
| const IntSet & | u = IntSet(Set::Limits::min, Set::Limits::max) |
||
| ) |
Post propagator for
.
If y is the empty set, the usual conventions for set operations apply: an empty union is empty, while an empty intersection is the universe, which can be given as the optional parameter u.
The indices for y start at 0.
Definition at line 96 of file element.cpp.
| void Gecode::element | ( | Home | home, |
| SetOpType | op, | ||
| const IntSetArgs & | x, | ||
| SetVar | y, | ||
| SetVar | z, | ||
| const IntSet & | u = IntSet(Set::Limits::min, Set::Limits::max) |
||
| ) |
Post propagator for
.
If y is the empty set, the usual conventions for set operations apply: an empty union is empty, while an empty intersection is the universe, which can be given as the optional parameter u.
The indices for y start at 0.
Definition at line 136 of file element.cpp.
| void Gecode::element | ( | Home | home, |
| SetOpType | op, | ||
| const IntArgs & | x, | ||
| SetVar | y, | ||
| SetVar | z, | ||
| const IntSet & | u = IntSet(Set::Limits::min, Set::Limits::max) |
||
| ) |
Post propagator for
.
If y is the empty set, the usual conventions for set operations apply: an empty union is empty, while an empty intersection is the universe, which can be given as the optional parameter u.
The indices for y start at 0.
Definition at line 181 of file element.cpp.
| void Gecode::element | ( | Home | home, |
| const SetVarArgs & | x, | ||
| IntVar | y, | ||
| SetVar | z | ||
| ) |
| void Gecode::element | ( | Home | home, |
| const IntSetArgs & | s, | ||
| IntVar | y, | ||
| SetVar | z | ||
| ) |
| void Gecode::element | ( | Home | home, |
| const IntSetArgs & | a, | ||
| IntVar | x, | ||
| int | w, | ||
| IntVar | y, | ||
| int | h, | ||
| SetVar | z | ||
| ) |
Post propagator for
.
Throws an exception of type Set::ArgumentSizeMismatch, if
.
Definition at line 231 of file element.cpp.
| void Gecode::element | ( | Home | home, |
| const SetVarArgs & | a, | ||
| IntVar | x, | ||
| int | w, | ||
| IntVar | y, | ||
| int | h, | ||
| SetVar | z | ||
| ) |
Post propagator for
.
Throws an exception of type Set::ArgumentSizeMismatch, if
.
Definition at line 242 of file element.cpp.