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