Gecode::Set::GLBndSet Class Reference
Inherits Gecode::Set::BndSet.
Detailed Description
Growing sets of integers.These sets provide operations for monotonically growing the set. Growing sets are used for implementing the greatest lower bound of set variables.
Definition at line 283 of file var-imp.icc.
Constructors and initialization | |
GLBndSet (Space *=NULL) | |
Default constructor. Creates an empty set. | |
GLBndSet (Space *home, int i, int j) | |
Initialize as the set . | |
GLBndSet (Space *home, const IntSet &s) | |
Initialize as the set represented by s. | |
void | init (Space *home) |
Initialize as the empty set. | |
Update operations | |
bool | include (Space *home, int i, int j, SetDelta &d) |
Include the set in this set. | |
template<class I> | |
bool | includeI (Space *home, I &i) |
Include the set represented by i in this set. |
Constructor & Destructor Documentation
Gecode::Set::GLBndSet::GLBndSet | ( | Space * | = NULL |
) | [inline] |
Gecode::Set::GLBndSet::GLBndSet | ( | Space * | home, | |
int | i, | |||
int | j | |||
) | [inline] |
Member Function Documentation
void Gecode::Set::GLBndSet::init | ( | Space * | home | ) | [inline] |
template<class I>
bool Gecode::Set::GLBndSet::includeI | ( | Space * | home, | |
I & | i | |||
) | [inline] |
The documentation for this class was generated from the following files:
- gecode/set/var-imp.icc (Revision: 6327)
- gecode/set/var-imp/integerset.cc (Revision: 6102)
- gecode/set/var-imp/integerset.icc (Revision: 6102)