65 return _glbMin > _glbMax;
69 return _lubMin > _lubMax;
bool glbAny(void) const
Test whether delta represents any domain change in glb.
bool lubAny(void) const
Test whether delta represents any domain change in lub.
int lubMax(void) const
Return lub maximum.
int glbMin(void) const
Return glb minimum.
SetDelta(void)
Create set delta as providing no information (if any is true)
int lubMin(void) const
Return lub minimum.
int glbMax(void) const
Return glb maximum.
Gecode toplevel namespace