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

Gecode::Set::GLBndSet Class Reference

Inherits Gecode::Set::BndSet.

List of all members.


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

Constructors and initialization

 GLBndSet (Space *=NULL)
 Default constructor. Creates an empty set.
 GLBndSet (Space *home, int i, int j)
 Initialize as the set $ \{i,\dots,j\}$.
 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)
 Include the set $\{i,\dots,j\}$ 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]
 

Default constructor. Creates an empty set.

Definition at line 378 of file integerset.icc.

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

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

Definition at line 381 of file integerset.icc.

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

Initialize as the set represented by s.

Definition at line 385 of file integerset.icc.


Member Function Documentation

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

Initialize as the empty set.

Definition at line 389 of file integerset.icc.

bool Gecode::Set::GLBndSet::include Space home,
int  i,
int  j
[inline]
 

Include the set $\{i,\dots,j\}$ in this set.

Definition at line 392 of file integerset.icc.

template<class I>
bool Gecode::Set::GLBndSet::includeI Space home,
I &  i
 

Include the set represented by i in this set.

Definition at line 407 of file integerset.icc.


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