Generated on Mon May 10 06:47:01 2010 for Gecode by doxygen 1.6.3

Gecode::Set::GLBndSet Class Reference

Growing sets of integers. More...

#include <var-imp.hpp>

List of all members.

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 $ \{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, SetDelta &d)
 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.

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 293 of file var-imp.hpp.


Constructor & Destructor Documentation

Gecode::Set::GLBndSet::GLBndSet ( void   )  [inline]

Default constructor. Creates an empty set.

Definition at line 351 of file integerset.hpp.

Gecode::Set::GLBndSet::GLBndSet ( Space  )  [inline]

Default constructor. Creates an empty set.

Definition at line 354 of file integerset.hpp.

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

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

Definition at line 357 of file integerset.hpp.

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

Initialize as the set represented by s.

Definition at line 361 of file integerset.hpp.


Member Function Documentation

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

Initialize as the empty set.

Definition at line 365 of file integerset.hpp.

bool Gecode::Set::GLBndSet::include ( Space home,
int  i,
int  j,
SetDelta d 
) [inline]

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

Definition at line 373 of file integerset.hpp.

template<class I >
bool Gecode::Set::GLBndSet::includeI ( Space home,
I &  i 
) [inline]

Include the set represented by i in this set.

Definition at line 390 of file integerset.hpp.


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