51 int lbMin,
int lbMax,
int ubMin,
int ubMax,
60 unsigned int glbSize =
61 (lbMin <= lbMax ? static_cast<unsigned int>(lbMax-lbMin+1) : 0U);
62 unsigned int lubSize =
63 (ubMin <= ubMax ? static_cast<unsigned int>(ubMax-ubMin+1) : 0U);
64 if (minCard > maxCard || minCard > lubSize || maxCard < glbSize ||
65 lbMin < ubMin || lbMax > ubMax)
67 for (
int i =
size(); i--; )
68 x[i] =
SetVar(home,lbMin,lbMax,ubMin,ubMax,minCard,maxCard);
132 int lbMin,
int lbMax,
int ubMin,
int ubMax,
133 unsigned int minCard,
134 unsigned int maxCard)
141 unsigned int glbSize =
142 (lbMin <= lbMax ? static_cast<unsigned int>(lbMax-lbMin+1) : 0U);
143 unsigned int lubSize =
144 (ubMin <= ubMax ? static_cast<unsigned int>(ubMax-ubMin+1) : 0U);
145 if (minCard > maxCard || minCard > lubSize || maxCard < glbSize ||
146 lbMin < ubMin || lbMax > ubMax)
148 for (
int i =
size(); i--; )
149 a[i] =
SetVar(home,lbMin,lbMax,ubMin,ubMax,minCard,maxCard);
Exception: Variable created with empty domain