|
| | LubDiffRanges (const CachedView< View > &x) |
| | Constructor.
|
| | Diff (void) |
| | Default constructor.
|
| void | init (BndSetRanges &i, LubRanges< 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)
|
template<class
View>
class Gecode::Set::LubDiffRanges< View >
Range iterator for difference of least upper bound and cache
Definition at line 1154 of file view.hpp.