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