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