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