Value iterator for pointwise minus of a value iterator.
Minus & operator=(const Minus &m)
Assignment operator (both iterators must be allocated from the same region)
void init(Region &r, I &i)
Initialize with values from i.
Minus(void)
Default constructor.
ValueList * next
Next element.
ValueListIter(void)
Default constructor.
void init(Region &r)
Initialize.
void set(ValueList *l)
Set value lists.
ValueListIter & operator=(const ValueListIter &i)
Assignment operator (both iterators must be allocated from the same region)
Range and value iterators.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r