38 namespace Gecode {
namespace Iter {
namespace Values {
void init(Region &r, I &i)
Initialize with values from i.
void init(Region &r)
Initialize.
Iterator over value lists.
Value iterator for pointwise minus of a value iterator.
int p
Number of positive literals for node type.
Gecode::IntArgs i(4, 1, 2, 3, 4)
ValueList * next
Next element.
Minus & operator=(const Minus &m)
Assignment operator (both iterators must be allocated from the same region)
Minus(void)
Default constructor.
ValueListIter & operator=(const ValueListIter &i)
Assignment operator (both iterators must be allocated from the same region)
Gecode toplevel namespace
void set(ValueList *l)
Set value lists.