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 ![]() | |
template<class I > | |
bool | includeI (Space &home, I &i) |
Include the set represented by i in this set. |
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.
Gecode::Set::GLBndSet::GLBndSet | ( | void | ) | [inline] |
Default constructor. Creates an empty set.
Definition at line 261 of file integerset.hpp.
Gecode::Set::GLBndSet::GLBndSet | ( | Space & | ) | [inline] |
Default constructor. Creates an empty set.
Definition at line 264 of file integerset.hpp.
Gecode::Set::GLBndSet::GLBndSet | ( | Space & | home, |
int | i, | ||
int | j | ||
) | [inline] |
Initialize as the set .
Definition at line 267 of file integerset.hpp.
Initialize as the set represented by s.
Definition at line 271 of file integerset.hpp.
void Gecode::Set::GLBndSet::init | ( | Space & | home | ) | [inline] |
Initialize as the empty set.
Definition at line 275 of file integerset.hpp.
Include the set in this set.
Definition at line 283 of file integerset.hpp.
bool Gecode::Set::GLBndSet::includeI | ( | Space & | home, |
I & | i | ||
) |
Include the set represented by i in this set.
Definition at line 300 of file integerset.hpp.