Gecode::Set::GLBndSet Class Reference
Growing sets of integers. More...
#include <var-imp.hpp>
Constructors and initialization | |
| |
GLBndSet (void) | |
Default constructor. Creates an empty set. | |
GLBndSet (Space &) | |
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. |
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 205 of file var-imp.hpp.
Constructor & Destructor Documentation
Gecode::Set::GLBndSet::GLBndSet | ( | void | ) | [inline] |
Default constructor. Creates an empty set.
Definition at line 257 of file integerset.hpp.
Gecode::Set::GLBndSet::GLBndSet | ( | Space & | ) | [inline] |
Default constructor. Creates an empty set.
Definition at line 260 of file integerset.hpp.
Gecode::Set::GLBndSet::GLBndSet | ( | Space & | home, | |
int | i, | |||
int | j | |||
) | [inline] |
Initialize as the set .
Definition at line 263 of file integerset.hpp.
Initialize as the set represented by s.
Definition at line 267 of file integerset.hpp.
Member Function Documentation
void Gecode::Set::GLBndSet::init | ( | Space & | home | ) | [inline] |
Initialize as the empty set.
Definition at line 271 of file integerset.hpp.
Include the set in this set.
Definition at line 279 of file integerset.hpp.
bool Gecode::Set::GLBndSet::includeI | ( | Space & | home, | |
I & | i | |||
) | [inline] |
Include the set represented by i in this set.
Definition at line 296 of file integerset.hpp.
The documentation for this class was generated from the following files:
- gecode/set/var-imp.hpp
- gecode/set/var-imp/integerset.cpp
- gecode/set/var-imp/integerset.hpp