void init(Region &r, I &i)
Initialize with ranges from i.
Cache(void)
Default constructor.
Cache & operator=(const Cache &m)
Assignment operator (both caches must be allocated from the same region)
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.
RangeList * h
Head of range list.
Range and value iterators.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r