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