Generated on Wed Nov 1 15:05:22 2006 for Gecode by doxygen 1.4.5

Gecode::Set::LubRanges< T > Class Template Reference
[Programming set actors]

List of all members.

Detailed Description

template<class T>
class Gecode::Set::LubRanges< T >

Range iterator for the least upper bound.

This class provides (by specialization) a range iterator for the least upper bounds of all set views.

Note that this template class serves only as a specification of the interface of the various specializations.

Definition at line 350 of file var.icc.

Constructors and initialization

 LubRanges (void)
 Default constructor.
 LubRanges (const T &x)
 Initialize with least upper bound ranges for set variable x.
void init (const T &x)
 Initialize with least upper bound ranges for set variable x.

Iteration control

bool operator() (void) const
 Test whether iterator is still at a range or done.
void operator++ (void)
 Move iterator to next range (if possible).

Range access

int min (void) const
 Return smallest value of range.
int max (void) const
 Return largest value of range.
unsigned int width (void) const
 Return width of range (distance between minimum and maximum).


Constructor & Destructor Documentation

template<class T>
Gecode::Set::LubRanges< T >::LubRanges void   ) 
 

Default constructor.

Reimplemented in Gecode::Set::LubRanges< ComplementView< ComplementView< View > > >.

template<class T>
Gecode::Set::LubRanges< T >::LubRanges const T &  x  ) 
 

Initialize with least upper bound ranges for set variable x.


Member Function Documentation

template<class T>
void Gecode::Set::LubRanges< T >::init const T &  x  ) 
 

Initialize with least upper bound ranges for set variable x.

template<class T>
bool Gecode::Set::LubRanges< T >::operator() void   )  const
 

Test whether iterator is still at a range or done.

template<class T>
void Gecode::Set::LubRanges< T >::operator++ void   ) 
 

Move iterator to next range (if possible).

template<class T>
int Gecode::Set::LubRanges< T >::min void   )  const
 

Return smallest value of range.

template<class T>
int Gecode::Set::LubRanges< T >::max void   )  const
 

Return largest value of range.

template<class T>
unsigned int Gecode::Set::LubRanges< T >::width void   )  const
 

Return width of range (distance between minimum and maximum).


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