|
| Diff (void) |
| Default constructor.
|
|
| Diff (Iter::Ranges::RangeList &i, ViewRanges< View > &j) |
| Initialize with iterator i and j.
|
|
void | init (Iter::Ranges::RangeList &i, ViewRanges< View > &j) |
| Initialize with iterator i and j.
|
|
void | operator++ (void) |
| Move iterator to next range (if possible)
|
|
| MinMax (void) |
| Default constructor.
|
|
| MinMax (int min, int max) |
| Initialize with range min to max.
|
|
bool | operator() (void) const |
| Test whether iterator is still at a range or done.
|
|
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)
|
|
void | finish (void) |
| Set range such that iteration stops
|
|
template<class View>
class Gecode::Int::ViewDiffRanges< View >
Range iterator for cached integer views
This iterator iterates the difference between the cached domain and the current domain of an integer view.
Definition at line 1353 of file view.hpp.