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