Range iterator for cached integer views More...
#include <view.hpp>
Protected Attributes | |
Iter::Ranges::RangeList | cr |
Cached domain iterator. | |
ViewRanges< View > | dr |
Current domain iterator. | |
Constructors and initialization | |
ViewDiffRanges (void) | |
Default constructor. | |
ViewDiffRanges (const CachedView< View > &x) | |
Initialize with ranges for view x. | |
void | init (const CachedView< View > &x) |
Initialize with ranges for view x. |
Range iterator for cached integer views
This iterator iterates the difference between the cached domain and the current domain of an integer view.
Gecode::Int::ViewDiffRanges< View >::ViewDiffRanges | ( | void | ) | [inline] |
Default constructor.
Definition at line 366 of file cached.hpp.
Gecode::Int::ViewDiffRanges< View >::ViewDiffRanges | ( | const CachedView< View > & | x | ) | [inline] |
Initialize with ranges for view x.
Definition at line 370 of file cached.hpp.
void Gecode::Int::ViewDiffRanges< View >::init | ( | const CachedView< View > & | x | ) | [inline] |
Initialize with ranges for view x.
Definition at line 377 of file cached.hpp.
Iter::Ranges::RangeList Gecode::Int::ViewDiffRanges< View >::cr [protected] |
ViewRanges<View> Gecode::Int::ViewDiffRanges< View >::dr [protected] |