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