Generated on Wed Jan 4 17:49:23 2006 for Gecode by doxygen 1.4.6

Gecode::Set::LUBndSet Class Reference

Inherits Gecode::Set::BndSet.

List of all members.


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 401 of file var.icc.

Constructors and initialization

 LUBndSet (void)
 Default constructor. Creates an empty set.
 LUBndSet (Space *home)
 Initialize as the full set including everything between Limits::Set::int_min and Limits::Set::int_max.
 LUBndSet (Space *home, int i, int j)
 Initialize as the set $ \{i,\dots,j\}$.
 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::Set::int_min and Limits::Set::int_max.

Update operations

bool exclude (Space *home, int i, int j)
 Exclude the set $\{i,\dots,j\}$ from this 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.


Constructor & Destructor Documentation

Gecode::Set::LUBndSet::LUBndSet void   )  [inline]
 

Default constructor. Creates an empty set.

Definition at line 424 of file integerset.icc.

Gecode::Set::LUBndSet::LUBndSet Space home  )  [inline]
 

Initialize as the full set including everything between Limits::Set::int_min and Limits::Set::int_max.

Definition at line 427 of file integerset.icc.

Gecode::Set::LUBndSet::LUBndSet Space home,
int  i,
int  j
[inline]
 

Initialize as the set $ \{i,\dots,j\}$.

Definition at line 431 of file integerset.icc.

Gecode::Set::LUBndSet::LUBndSet Space home,
const IntSet s
[inline]
 

Initialize as the set represented by s.

Definition at line 435 of file integerset.icc.


Member Function Documentation

void Gecode::Set::LUBndSet::init Space home  )  [inline]
 

Initialize as the full set including everything between Limits::Set::int_min and Limits::Set::int_max.

Definition at line 439 of file integerset.icc.

bool Gecode::Set::LUBndSet::exclude Space home,
int  i,
int  j
[inline]
 

Exclude the set $\{i,\dots,j\}$ from this set.

Definition at line 450 of file integerset.icc.

template<class I>
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 464 of file integerset.icc.

template<class I>
bool Gecode::Set::LUBndSet::excludeI Space home,
I &  i
 

Exclude all elements in the set represented by i from this set.

Definition at line 479 of file integerset.icc.


The documentation for this class was generated from the following files: