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

Range iterator for least upper bound of cached set views More...

#include <cached.hpp>

Constructors and initialization

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

Range iterator for least upper bound of cached set views

Definition at line 319 of file cached.hpp.

Constructor & Destructor Documentation

◆ LubRanges() [1/2]

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

Default constructor.

Definition at line 324 of file cached.hpp.

◆ LubRanges() [2/2]

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

Initialize with ranges for view x.

Definition at line 334 of file cached.hpp.

Member Function Documentation

◆ init()

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

Initialize with ranges for view x.

Definition at line 339 of file cached.hpp.


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