38 namespace Gecode {
namespace Iter {
namespace Values {
66 void init(
int* v,
int n);
92 :
v(v0),
c(0),
n(n0) {}
void init(int *v, int n)
Initialize with n ranges from v.
Value iterator for array of integers
bool operator()(void) const
Test whether iterator is still at a value or done.
void operator++(void)
Move iterator to next value (if possible)
Gecode::FloatVal c(-8, 8)
int n
Number of negative literals for node type.
Array(void)
Default constructor.
void reset(void)
Reset iterator to start from beginning.
int n
Number of ranges in array.
Gecode toplevel namespace
int val(void) const
Return current value.