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.
unsigned int lubSize(void) const
Return number of elements in the least upper bound.
Finite integer set variable implementation.
unsigned int glbSize(void) const
Return number of elements in the greatest lower bound.
Exception: Variable created with empty domain
bool subset(I &i, J &j)
Check whether range iterator i is subset of range iterator j.
Gecode toplevel namespace
SetVar(void)
Default constructor.
int max(int i) const
Return maximum of range at position i.
int min(int i) const
Return minimum of range at position i.