
Range iterator for the greatest lower bound. More...
#include <var-imp.hpp>
Constructors and initialization | |
| GlbRanges (void) | |
| Default constructor. More... | |
| GlbRanges (const T &x) | |
| Initialize with greatest lower bound ranges for set variable x. More... | |
| void | init (const T &x) |
| Initialize with greatest lower bound ranges for set variable x. More... | |
Iteration control | |
| bool | operator() (void) const |
| Test whether iterator is still at a range or done. More... | |
| void | operator++ (void) |
| Move iterator to next range (if possible) More... | |
Range access | |
| int | min (void) const |
| Return smallest value of range. More... | |
| int | max (void) const |
| Return largest value of range. More... | |
| unsigned int | width (void) const |
| Return width of range (distance between minimum and maximum) More... | |
Range iterator for the greatest lower bound.
This class provides (by specialization) a range iterator for the greatest lower bounds of all set views.
Note that this template class serves only as a specification of the interface of the various specializations.
Definition at line 363 of file var-imp.hpp.
| Gecode::Set::GlbRanges< T >::GlbRanges | ( | void | ) |
Default constructor.
| Gecode::Set::GlbRanges< T >::GlbRanges | ( | const T & | x | ) |
Initialize with greatest lower bound ranges for set variable x.
| void Gecode::Set::GlbRanges< T >::init | ( | const T & | x | ) |
Initialize with greatest lower bound ranges for set variable x.
| bool Gecode::Set::GlbRanges< T >::operator() | ( | void | ) | const |
Test whether iterator is still at a range or done.
| void Gecode::Set::GlbRanges< T >::operator++ | ( | void | ) |
Move iterator to next range (if possible)
| int Gecode::Set::GlbRanges< T >::min | ( | void | ) | const |
Return smallest value of range.
| int Gecode::Set::GlbRanges< T >::max | ( | void | ) | const |
Return largest value of range.
| unsigned int Gecode::Set::GlbRanges< T >::width | ( | void | ) | const |
Return width of range (distance between minimum and maximum)