Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.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.
 

Additional Inherited Members

- Public Member Functions inherited from Gecode::Set::LubRanges< View >
 LubRanges (void)
 Default constructor.
 
 LubRanges (const View &x)
 Initialize with least upper bound ranges for set variable x.
 
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.


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