Gecode::Int::ViewRanges< ZeroIntView > Class Template Reference
[Integer views]
List of all members.
Detailed Description
template<>
class Gecode::Int::ViewRanges< ZeroIntView >
Range iterator for constant integer views
Definition at line 303 of file zero.icc.
|
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).
|
Constructor & Destructor Documentation
Default constructor.
Definition at line 338 of file zero.icc.
Initialize with ranges for view x.
Definition at line 341 of file zero.icc.
Member Function Documentation
Initialize with ranges for view x.
Test whether iterator is still at a range or done.
Definition at line 345 of file zero.icc.
Move iterator to next range (if possible).
Definition at line 349 of file zero.icc.
Return smallest value of range.
Definition at line 354 of file zero.icc.
Return largest value of range.
Definition at line 358 of file zero.icc.
Return width of ranges (distance between minimum and maximum).
Definition at line 362 of file zero.icc.
The documentation for this class was generated from the following file: