Range iterator for least upper bound of constant universe set view More...
#include <const.hpp>
Constructors and initialization | |
LubRanges (void) | |
Default constructor. | |
LubRanges (const UniverseView &x) | |
Initialize with ranges for view x. | |
void | init (const UniverseView &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 | |
Singleton (void) | |
Default constructor. | |
Singleton (int min, int max) | |
Initialize with range min to max. | |
void | init (int min, int max) |
Initialize with range min to max. | |
void | operator++ (void) |
Move iterator to next range (if possible) | |
MinMax (void) | |
Default constructor. | |
MinMax (int min, int max) | |
Initialize with range min to max. | |
bool | operator() (void) const |
Test whether iterator is still at a range or done. | |
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) | |
Protected Member Functions inherited from Gecode::Iter::Ranges::MinMax | |
void | finish (void) |
Set range such that iteration stops | |
Protected Attributes inherited from Gecode::Iter::Ranges::MinMax | |
int | mi |
Minimum of current range. | |
int | ma |
Maximum of current range. |
Range iterator for least upper bound of constant universe set view
|
inline |
|
inline |
|
inline |
bool Gecode::Set::LubRanges< UniverseView >::operator() | ( | void | ) | const |
Test whether iterator is still at a range or done.
void Gecode::Set::LubRanges< UniverseView >::operator++ | ( | void | ) |
Move iterator to next range (if possible)
int Gecode::Set::LubRanges< UniverseView >::min | ( | void | ) | const |
Return smallest value of range.
int Gecode::Set::LubRanges< UniverseView >::max | ( | void | ) | const |
Return largest value of range.
unsigned int Gecode::Set::LubRanges< UniverseView >::width | ( | void | ) | const |
Return width of range (distance between minimum and maximum)