48 return new (home)
Convex(home,*
this);
67 unsigned int maxWidth = 0;
68 for (;ubRangeIt();++ubRangeIt) {
82 for (; ubRangeItC(); ++ubRangeItC) {
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.
ExecStatus ES_SUBSUMED(Propagator &p)
const FloatNum max
Largest allowed float value.
int glbMin(void) const
Return minimum of the greatest lower bound.
unsigned int cardMin(void) const
Return minimum cardinality.
Propagation has computed fixpoint.
Base-class for both propagators and branchers.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
int max(void) const
Return largest value of range.
Range iterator for least upper bound of set variable views
Convex(Space &home, Convex &p)
Constructor for cloning p.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
int min(void) const
Return smallest value of range.
Post propagator for SetVar SetOpType SetVar SetRelType r
bool assigned(void) const
Test whether view is assigned.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
int glbMax(void) const
Return maximum of the greatest lower bound.
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
Propagator for the convex constraint
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
int ModEventDelta
Modification event deltas.
unsigned int glbSize(void) const
Return the number of elements in the greatest lower bound.