Gecode::Int::ViewDiffRanges< View > Class Template Reference
[Programming integer actors]
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. | |
Detailed Description
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 1288 of file view.hpp.
Constructor & Destructor Documentation
template<class View >
| Gecode::Int::ViewDiffRanges< View >::ViewDiffRanges | ( | void | ) | [inline] |
Default constructor.
Definition at line 366 of file cached.hpp.
template<class View >
| Gecode::Int::ViewDiffRanges< View >::ViewDiffRanges | ( | const CachedView< View > & | x | ) | [inline] |
Initialize with ranges for view x.
Definition at line 370 of file cached.hpp.
Member Function Documentation
template<class View >
| 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.
Member Data Documentation
template<class View>
Iter::Ranges::RangeList Gecode::Int::ViewDiffRanges< View >::cr [protected] |
template<class View>
ViewRanges<View> Gecode::Int::ViewDiffRanges< View >::dr [protected] |
The documentation for this class was generated from the following files:
- gecode/int/view.hpp (Revision: 12418)
- gecode/int/view/cached.hpp (Revision: 11973)