38 namespace Gecode {
namespace Iter {
namespace Values {
84 : done(false),
v(v0) {}
Value iterator for single value.
bool done
Whether the iterator is done.
void operator++(void)
Move iterator to next value (if possible)
int val(void) const
Return current value.
void init(int v)
Initialize with value v.
Singleton(void)
Default constructor.
Gecode toplevel namespace
bool operator()(void) const
Test whether iterator is still at a value or done.