94 return x.unknownSize();
Generic domain change information to be supplied to advisors.
Range iterator for range lists
Lists of ranges (intervals)
static void overwrite(Space &home, RangeList *&r, Iter &i)
Overwrite rangelist r with ranges from range iterator i.
static void copy(Space &home, RangeList *&r, Iter &i)
Create rangelist r from range iterator i.
Range iterator for the greatest lower bound.
Range iterator for the least upper bound.
void update(Space &home, SetTraceView x)
Update during cloning.
RangeList * _glb
Copy of the greatest lower bound.
static unsigned long long int slack(SetView x)
Return slack for x.
RangeList * glb(void) const
Return range list for greatest lower bound.
RangeList * lub(void) const
Return range list for leat upper bound.
RangeList * _lub
Copy of the least upper bound.
void prune(Space &home, SetView y, const Delta &d)
Update duplicated view from view y and delta d.
SetTraceView(void)
Default constructor (initializes with no view)
Set view for set variables
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar x