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. |
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 | |
GlbRanges (void) | |
Default constructor. | |
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) |
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.
|
inline |
Default constructor.
Definition at line 519 of file complement.hpp.
|
inline |
Initialize with ranges for view x.
Definition at line 529 of file complement.hpp.
|
inline |
Initialize with ranges for view x.
Definition at line 535 of file complement.hpp.
bool Gecode::Set::GlbRanges< ComplementView< ComplementView< View > > >::operator() | ( | void | ) | const |
Test whether iterator is still at a range or done.
void Gecode::Set::GlbRanges< ComplementView< ComplementView< View > > >::operator++ | ( | void | ) |
Move iterator to next range (if possible)
int Gecode::Set::GlbRanges< ComplementView< ComplementView< View > > >::min | ( | void | ) | const |
Return smallest value of range.
int Gecode::Set::GlbRanges< ComplementView< ComplementView< View > > >::max | ( | void | ) | const |
Return largest value of range.
unsigned int Gecode::Set::GlbRanges< ComplementView< ComplementView< View > > >::width | ( | void | ) | const |
Return width of range (distance between minimum and maximum)