Generated on Fri May 13 2011 22:41:32 for Gecode by doxygen 1.7.1

Gecode::Set::LUBndSet Class Reference

Shrinking sets of integers. More...

#include <var-imp.hpp>

List of all members.

Constructors and initialization



 LUBndSet (void)
 Default constructor. Creates an empty set.
 LUBndSet (Space &home)
 Initialize as the full set including everything between Limits::min and Limits::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::min and Limits::max.

Update operations



bool exclude (Space &home, int i, int j, SetDelta &d)
 Exclude the set $\{i,\dots,j\}$ from this set.
bool intersect (Space &home, int i, int j)
 Intersect this set with the set $\{i,\dots,j\}$.
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.
void excludeAll (Space &home)
 Exclude all elements from this set.

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


Constructor & Destructor Documentation

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

Default constructor. Creates an empty set.

Definition at line 406 of file integerset.hpp.

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

Initialize as the full set including everything between Limits::min and Limits::max.

Definition at line 409 of file integerset.hpp.

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

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

Definition at line 413 of file integerset.hpp.

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

Initialize as the set represented by s.

Definition at line 417 of file integerset.hpp.


Member Function Documentation

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

Initialize as the full set including everything between Limits::min and Limits::max.

Definition at line 421 of file integerset.hpp.

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

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

Definition at line 432 of file integerset.hpp.

bool Gecode::Set::LUBndSet::intersect ( Space home,
int  i,
int  j 
) [inline]

Intersect this set with the set $\{i,\dots,j\}$.

Definition at line 448 of file integerset.hpp.

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 463 of file integerset.hpp.

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 478 of file integerset.hpp.

void Gecode::Set::LUBndSet::excludeAll ( Space home  )  [inline]

Exclude all elements from this set.

Definition at line 488 of file integerset.hpp.


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