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 cardMin(void) const
Return minimum 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.
int min(void) const
Return smallest value of range.
ConvexHull(Space &home, bool share, ConvexHull &)
Constructor for cloning p.
int glbMin(void) const
Return minimum of the greatest lower bound.
unsigned int cardMax(void) const
Return maximum 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.
const FloatNum min
Smallest allowed float value.
Range iterator for least upper bound of set variable views
int lubMin(void) const
Return minimum of the least upper bound.
int glbMax(void) const
Return maximum of the greatest lower bound.
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 lubMax(void) const
Return maximum of the least upper bound.
ModEvent intersectI(Space &home, I &iter)
Intersect least upper bound with range sequence described by i.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
bool assigned(void) const
Test whether view is assigned.
int max(void) const
Return largest value of range.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
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
int ModEventDelta
Modification event deltas.