Growing sets of integers. More...
#include <var-imp.hpp>
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. |
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. |
Additional Inherited Members | |
RangeList * | ranges (void) const |
Return range list for iteration. | |
BndSet (void) | |
Default constructor. Creates an empty set. | |
BndSet (Space &home, int i, int j) | |
Initialize as the set ![]() | |
BndSet (Space &home, const IntSet &s) | |
Initialize as the set represented by s. | |
void | dispose (Space &home) |
Free memory used by this set. | |
int | min (void) const |
Return smallest element. | |
int | max (void) const |
Return greatest element. | |
int | minN (unsigned int n) const |
Return n -th smallest element. | |
unsigned int | size (void) const |
Return size. | |
unsigned int | card (void) const |
Return cardinality. | |
void | card (unsigned int c) |
Set cardinality. | |
bool | empty (void) const |
Test whether this set is empty. | |
bool | in (int i) const |
Test whether i is an element of this set. | |
void | become (Space &home, const BndSet &s) |
Make this set equal to s. | |
void | update (Space &home, BndSet &x) |
Update this set to be a clone of set x. | |
bool | isConsistent (void) const |
Check whether internal invariants hold. | |
Static Public Attributes inherited from Gecode::Set::BndSet | |
static const int | MAX_OF_EMPTY = Limits::min-1 |
Returned by empty sets when asked for their maximum element. | |
static const int | MIN_OF_EMPTY = Limits::max+1 |
Returned by empty sets when asked for their minimum element. | |
Protected Member Functions inherited from Gecode::Set::BndSet | |
void | fst (RangeList *r) |
Set first range to r. | |
void | lst (RangeList *r) |
Set last range to r. | |
RangeList * | fst (void) const |
Return first range. | |
RangeList * | lst (void) const |
Return last range. | |
template<class I> | |
bool | overwrite (Space &home, I &i) |
Overwrite the ranges with those represented by i. | |
Protected Attributes inherited from Gecode::Set::BndSet | |
unsigned int | _size |
The size of this set. | |
unsigned int | _card |
The cardinality this set represents. |
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.
|
inline |
Default constructor. Creates an empty set.
Definition at line 257 of file integerset.hpp.
|
inline |
Default constructor. Creates an empty set.
Definition at line 260 of file integerset.hpp.
|
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.
|
inline |
Initialize as the empty set.
Definition at line 271 of file integerset.hpp.
Include the set
Definition at line 279 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 296 of file integerset.hpp.