Gecode::Set::LUBndSet Class Reference
Inherits Gecode::Set::BndSet.Detailed Description
Shrinking sets of integers.These sets provide operations for monotonically shrinking the set. Shrinking sets are used for implementing the least upper bound of set variables.
Definition at line 399 of file var.icc.
Constructors and initialization | |
LUBndSet (void) | |
Default constructor. Creates an empty set. | |
LUBndSet (Space *home) | |
Initialize as the full set including everything between Limits::Set::int_min and Limits::Set::int_max. | |
LUBndSet (Space *home, int i, int j) | |
Initialize as the set ![]() | |
LUBndSet (Space *home, const IntSet &s) | |
Initialize as the set represented by s. | |
void | init (Space *home) |
Initialize as the full set including everything between Limits::Set::int_min and Limits::Set::int_max. | |
Update operations | |
bool | exclude (Space *home, int i, int j) |
Exclude the set ![]() | |
template<class I> | |
bool | intersectI (Space *home, I &i) |
Exclude all elements not in the set represented by i from this set. | |
template<class I> | |
bool | excludeI (Space *home, I &i) |
Exclude all elements in the set represented by i from this set. |
Constructor & Destructor Documentation
Gecode::Set::LUBndSet::LUBndSet | ( | void | ) | [inline] |
Gecode::Set::LUBndSet::LUBndSet | ( | Space * | home | ) | [inline] |
Initialize as the full set including everything between Limits::Set::int_min and Limits::Set::int_max.
Definition at line 427 of file integerset.icc.
Gecode::Set::LUBndSet::LUBndSet | ( | Space * | home, | |
int | i, | |||
int | j | |||
) | [inline] |
Member Function Documentation
void Gecode::Set::LUBndSet::init | ( | Space * | home | ) | [inline] |
Initialize as the full set including everything between Limits::Set::int_min and Limits::Set::int_max.
Definition at line 439 of file integerset.icc.
bool Gecode::Set::LUBndSet::exclude | ( | Space * | home, | |
int | i, | |||
int | j | |||
) | [inline] |
template<class I>
bool Gecode::Set::LUBndSet::intersectI | ( | Space * | home, | |
I & | i | |||
) |
Exclude all elements not in the set represented by i from this set.
Definition at line 464 of file integerset.icc.
template<class I>
bool Gecode::Set::LUBndSet::excludeI | ( | Space * | home, | |
I & | i | |||
) |
Exclude all elements in the set represented by i from this set.
Definition at line 479 of file integerset.icc.
The documentation for this class was generated from the following files:
- gecode/set/var.icc (Revision: 3188)
- gecode/set/var/integerset.cc (Revision: 3188)
- gecode/set/var/integerset.icc (Revision: 3084)