Gecode::Set::LUBndSet Class Reference
Shrinking sets of integers. More...
#include <var-imp.hpp>
Constructors and initialization | |
| |
LUBndSet (void) | |
Default constructor. Creates an empty set. | |
LUBndSet (Space &home) | |
Initialize as the full set including everything between Limits::min and Limits::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::min and Limits::max. | |
Update operations | |
| |
bool | exclude (Space &home, int i, int j, SetDelta &d) |
Exclude the set ![]() | |
bool | intersect (Space &home, int i, int j) |
Intersect this set with 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. | |
void | excludeAll (Space &home) |
Exclude all elements from this set. |
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 331 of file var-imp.hpp.
Constructor & Destructor Documentation
Gecode::Set::LUBndSet::LUBndSet | ( | void | ) | [inline] |
Default constructor. Creates an empty set.
Definition at line 408 of file integerset.hpp.
Gecode::Set::LUBndSet::LUBndSet | ( | Space & | home | ) | [inline] |
Initialize as the full set including everything between Limits::min and Limits::max.
Definition at line 411 of file integerset.hpp.
Gecode::Set::LUBndSet::LUBndSet | ( | Space & | home, | |
int | i, | |||
int | j | |||
) | [inline] |
Initialize as the set .
Definition at line 415 of file integerset.hpp.
Initialize as the set represented by s.
Definition at line 419 of file integerset.hpp.
Member Function Documentation
void Gecode::Set::LUBndSet::init | ( | Space & | home | ) | [inline] |
Initialize as the full set including everything between Limits::min and Limits::max.
Definition at line 423 of file integerset.hpp.
Exclude the set from this set.
Definition at line 434 of file integerset.hpp.
bool Gecode::Set::LUBndSet::intersect | ( | Space & | home, | |
int | i, | |||
int | j | |||
) | [inline] |
Intersect this set with the set .
Definition at line 450 of file integerset.hpp.
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 465 of file integerset.hpp.
bool Gecode::Set::LUBndSet::excludeI | ( | Space & | home, | |
I & | i | |||
) |
Exclude all elements in the set represented by i from this set.
Definition at line 481 of file integerset.hpp.
void Gecode::Set::LUBndSet::excludeAll | ( | Space & | home | ) | [inline] |
Exclude all elements from this set.
Definition at line 492 of file integerset.hpp.
The documentation for this class was generated from the following files:
- gecode/set/var-imp.hpp (Revision: 11008)
- gecode/set/var-imp/integerset.cpp (Revision: 8082)
- gecode/set/var-imp/integerset.hpp (Revision: 9692)