Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
Gecode::Set::LubRanges< ComplementView< ComplementView< View > > > Class Template Reference

Range iterator for the least upper bound of double-complement-views. More...

#include <complement.hpp>

Constructors and initialization

 LubRanges (void)
 Default constructor.
 LubRanges (const ComplementView< ComplementView< View > > &x)
 Initialize with ranges for view x.
void init (const ComplementView< ComplementView< View > > &x)
 Initialize with ranges for view 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)

Additional Inherited Members

 LubRanges (void)
 Default constructor.
void init (const View &x)
 Initialize with least upper 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::LubRanges< ComplementView< ComplementView< View > > >

Range iterator for the least upper bound of double-complement-views.

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

Definition at line 406 of file complement.hpp.

Constructor & Destructor Documentation

◆ LubRanges() [1/2]

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

Default constructor.

Definition at line 412 of file complement.hpp.

◆ LubRanges() [2/2]

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

Initialize with ranges for view x.

Definition at line 422 of file complement.hpp.

Member Function Documentation

◆ init()

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

Initialize with ranges for view x.

Definition at line 428 of file complement.hpp.

◆ operator()()

bool Gecode::Set::LubRanges< ComplementView< ComplementView< View > > >::operator() ( void ) const

Test whether iterator is still at a range or done.

◆ operator++()

void Gecode::Set::LubRanges< ComplementView< ComplementView< View > > >::operator++ ( void )

Move iterator to next range (if possible)

◆ min()

int Gecode::Set::LubRanges< ComplementView< ComplementView< View > > >::min ( void ) const

Return smallest value of range.

◆ max()

int Gecode::Set::LubRanges< ComplementView< ComplementView< View > > >::max ( void ) const

Return largest value of range.

◆ width()

unsigned int Gecode::Set::LubRanges< ComplementView< ComplementView< View > > >::width ( void ) const

Return width of range (distance between minimum and maximum)


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