Constructors and initialization |
| | ViewRanges (void) |
| | Default constructor.
|
| | ViewRanges (const ZeroIntView &x) |
| | Initialize with ranges for view x.
|
| void | init (const ZeroIntView &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 ranges (distance between minimum and maximum)
|
template<>
class Gecode::Int::ViewRanges< ZeroIntView >
Range iterator for constant integer views
Definition at line 230 of file zero.hpp.
