47 unsigned int minCard,
unsigned int maxCard)
56 if (minCard > maxCard || minCard >
lubSize() || maxCard <
glbSize() ||
57 lbMin < ubMin || lbMax > ubMax)
62 unsigned int minCard,
unsigned int maxCard)
69 if (minCard > maxCard || minCard >
lubSize() || maxCard <
glbSize() ||
70 glb.
min() < ubMin || glb.
max() > ubMax)
75 unsigned int minCard,
unsigned int maxCard)
84 if (minCard > maxCard || minCard >
lubSize() || maxCard <
glbSize() ||
91 unsigned int minCard,
unsigned int maxCard)
99 if (minCard > maxCard || minCard >
lubSize() || maxCard <
glbSize() ||
Range iterator for integer sets.
int min(int i) const
Return minimum of range at position i.
int max(int i) const
Return maximum of range at position i.
Exception: Variable created with empty domain
Range iterator for singleton range.
SetVar(void)
Default constructor.
unsigned int lubSize(void) const
Return number of elements in the least upper bound.
unsigned int glbSize(void) const
Return number of elements in the greatest lower bound.
Finite integer set variable implementation.
Variables as interfaces to variable implementations.
bool subset(I &i, J &j)
Check whether range iterator i is subset of range iterator j.
void check(int n, const char *l)
Check whether integer n is in range, otherwise throw overflow exception with information l.