
Range iterator for constant integer views More...
#include <zero.hpp>
Constructors and initialization | |
| ViewRanges (void) | |
| Default constructor. More... | |
| ViewRanges (const ZeroIntView &x) | |
| Initialize with ranges for view x. More... | |
| void | init (const ZeroIntView &x) |
| Initialize with ranges for view 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 ranges (distance between minimum and maximum) More... | |
Range iterator for constant integer views
|
inline |
|
inline |
| void Gecode::Int::ViewRanges< ZeroIntView >::init | ( | const ZeroIntView & | x | ) |
Initialize with ranges for view x.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |