42namespace Gecode {
namespace Set {
namespace Convex {
68 if (minElement<maxElement) {
77 for (;ubRangeItC();++ubRangeItC) {
78 if (ubRangeItC.
width() < cardMin
79 || ubRangeItC.
min() > minElement
80 || ubRangeItC.
max() < maxElement
83 ubRangeItC.
min(), ubRangeItC.
max()) );
int max(void) const
Return largest value of range.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
int min(void) const
Return smallest value of range.
static const int MIN_OF_EMPTY
Returned by empty sets when asked for their minimum element.
ConvexHull(Space &home, ConvexHull &)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Range iterator for the least upper bound.
ModEvent intersectI(Space &home, I &iter)
Intersect least upper bound with range sequence described by i.
ModEvent include(Space &home, int i, int j)
Update greatest lower bound to include all elements between and including i and j.
int glbMax(void) const
Return maximum of the greatest lower bound.
int lubMax(void) const
Return maximum of the least upper bound.
int lubMin(void) const
Return minimum of the least upper bound.
int glbMin(void) const
Return minimum of the greatest lower bound.
unsigned int cardMin(void) const
Return minimum cardinality.
unsigned int cardMax(void) const
Return maximum cardinality.
ModEvent exclude(Space &home, int i, int j)
Restrict least upper bound to not contain all elements between and including i and j.
bool assigned(void) const
Test whether view is assigned.
ExecStatus ES_SUBSUMED(Propagator &p)
int ModEventDelta
Modification event deltas.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
const int min
Smallest allowed integer in integer set.
const int max
Largest allowed integer in integer set.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
@ ES_NOFIX
Propagation has not computed fixpoint.