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