34namespace Gecode {
namespace Set {
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.
unsigned int unknownSize(void) const
Return number of unknown elements (elements in lub but not in glb)
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