Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
Gecode::Set::GlbRanges< ComplementView< ComplementView< View > > > Class Template Reference

Range iterator for the greatest lower bound of double-complement-views. More...

#include <complement.hpp>

Constructors and initialization

 GlbRanges (void)
 Default constructor.
 
 GlbRanges (const ComplementView< ComplementView< View > > &x)
 Initialize with ranges for view x.
 
void init (const ComplementView< ComplementView< View > > &x)
 Initialize with ranges for view x.
 

Additional Inherited Members

- Public Member Functions inherited from Gecode::Set::GlbRanges< View >
 GlbRanges (void)
 Default constructor.
 
 GlbRanges (const View &x)
 Initialize with greatest lower bound ranges for set variable x.
 
void init (const View &x)
 Initialize with greatest lower bound ranges for set variable x.
 
bool operator() (void) const
 Test whether iterator is still at a range or done.
 
void operator++ (void)
 Move iterator to next range (if possible)
 
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)
 

Detailed Description

template<class View>
class Gecode::Set::GlbRanges< ComplementView< ComplementView< View > > >

Range iterator for the greatest lower bound of double-complement-views.

This class provides (by specialization) a range iterator for the greatest lower bounds of complements of complement set views.

Definition at line 513 of file complement.hpp.

Constructor & Destructor Documentation

◆ GlbRanges() [1/2]

template<class View >
Gecode::Set::GlbRanges< ComplementView< ComplementView< View > > >::GlbRanges ( void )
inline

Default constructor.

Definition at line 519 of file complement.hpp.

◆ GlbRanges() [2/2]

template<class View >
Gecode::Set::GlbRanges< ComplementView< ComplementView< View > > >::GlbRanges ( const ComplementView< ComplementView< View > > & x)
inline

Initialize with ranges for view x.

Definition at line 529 of file complement.hpp.

Member Function Documentation

◆ init()

template<class View >
void Gecode::Set::GlbRanges< ComplementView< ComplementView< View > > >::init ( const ComplementView< ComplementView< View > > & x)
inline

Initialize with ranges for view x.

Definition at line 535 of file complement.hpp.


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