
Value iterator for integer views. More...
#include <view.hpp>
Constructors and initialization | |
| ViewValues (void) | |
| Default constructor. More... | |
| ViewValues (const View &x) | |
| Initialize with values for x. More... | |
| void | init (const View &x) |
| Initialize with values x. More... | |
Additional Inherited Members | |
Public Member Functions inherited from Gecode::Iter::Ranges::ToValues< ViewRanges< View > > | |
| ToValues (void) | |
| Default constructor. More... | |
| ToValues (ViewRanges< View > &i) | |
| Initialize with values from range iterator i. More... | |
| void | init (ViewRanges< View > &i) |
| Initialize with values from range iterator i. More... | |
| bool | operator() (void) const |
| Test whether iterator is still at a value or done. More... | |
| void | operator++ (void) |
| Move iterator to next value (if possible) More... | |
| int | val (void) const |
| Return current value. More... | |
Protected Member Functions inherited from Gecode::Iter::Ranges::ToValues< ViewRanges< View > > | |
| void | start (void) |
| Initialize iterator. More... | |
Protected Attributes inherited from Gecode::Iter::Ranges::ToValues< ViewRanges< View > > | |
| ViewRanges< View > | i |
| Range iterator used. More... | |
| int | cur |
| Current value. More... | |
| int | max |
| End of current range. More... | |
Value iterator for integer views.
This class provides a value iterator for all integer views.
|
inline |
|
inline |
|
inline |