34 namespace Gecode {
namespace Iter {
namespace Values {
80 :
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)
bool operator()(void) const
Test whether iterator is still at a value or done.
int val(void) const
Return current value.
void init(int v)
Initialize with value v.
Singleton(void)
Default constructor.
Gecode toplevel namespace