51 unsigned int minCard,
unsigned int maxCard)
60 if (minCard > maxCard || minCard >
lubSize() || maxCard <
glbSize() ||
61 lbMin < ubMin || lbMax > ubMax)
66 unsigned int minCard,
unsigned int maxCard)
73 if (minCard > maxCard || minCard >
lubSize() || maxCard <
glbSize() ||
74 glb.
min() < ubMin || glb.
max() > ubMax)
79 unsigned int minCard,
unsigned int maxCard)
88 if (minCard > maxCard || minCard >
lubSize() || maxCard <
glbSize() ||
95 unsigned int minCard,
unsigned int maxCard)
103 if (minCard > maxCard || minCard >
lubSize() || maxCard <
glbSize() ||
Variables as interfaces to variable implementations.
void check(int n, const char *l)
Check whether integer n is in range, otherwise throw overflow exception with information l...
Range iterator for singleton range.
Range iterator for integer sets.
Finite integer set variable implementation.
int min(int i) const
Return minimum of range at position i.
Exception: Variable created with empty domain
unsigned int glbSize(void) const
Return number of elements in the greatest lower bound.
int max(int i) const
Return maximum of range at position i.
bool subset(I &i, J &j)
Check whether range iterator i is subset of range iterator j.
Gecode toplevel namespace
SetVar(void)
Default constructor.
unsigned int lubSize(void) const
Return number of elements in the least upper bound.