
Range iterator for difference of least upper bound and cache More...
#include <view.hpp>
Public Member Functions | |
| LubDiffRanges (const CachedView< View > &x) | |
| Constructor. More... | |
Public Member Functions inherited from Gecode::Iter::Ranges::Diff< BndSetRanges, LubRanges< View > > | |
| Diff (void) | |
| Default constructor. More... | |
| Diff (BndSetRanges &i, LubRanges< View > &j) | |
| Initialize with iterator i and j. More... | |
| void | init (BndSetRanges &i, LubRanges< View > &j) |
| Initialize with iterator i and j. More... | |
| void | operator++ (void) |
| Move iterator to next range (if possible) More... | |
Public Member Functions inherited from Gecode::Iter::Ranges::MinMax | |
| MinMax (void) | |
| Default constructor. More... | |
| MinMax (int min, int max) | |
| Initialize with range min to max. More... | |
| bool | operator() (void) const |
| Test whether iterator is still at a range or done. More... | |
| 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 range (distance between minimum and maximum) More... | |
Protected Attributes | |
| BndSetRanges | cr |
| Cached upper bound. More... | |
| LubRanges< View > | lr |
| Upper bound iterator. More... | |
Protected Attributes inherited from Gecode::Iter::Ranges::Diff< BndSetRanges, LubRanges< View > > | |
| BndSetRanges | i |
| Iterator from which to subtract. More... | |
| LubRanges< View > | j |
| Iterator to be subtracted. More... | |
Protected Attributes inherited from Gecode::Iter::Ranges::MinMax | |
| int | mi |
| Minimum of current range. More... | |
| int | ma |
| Maximum of current range. More... | |
Additional Inherited Members | |
Protected Member Functions inherited from Gecode::Iter::Ranges::MinMax | |
| void | finish (void) |
| Set range such that iteration stops More... | |
Range iterator for difference of least upper bound and cache
|
inline |
Constructor.
Definition at line 392 of file cached.hpp.
|
protected |
|
protected |