LinExpr
operator +(const IntVar& x, const IntVar& y) {
if (x.assigned())
return x.val() + y;
else if (y.assigned())
return x + y.val();
else
return LinExpr(x,LinExpr::NT_ADD,y);
}
LinExpr
operator -(const IntVar& x, const IntVar& y) {
if (x.assigned())
return x.val() - y;
else if (y.assigned())
return x - y.val();
else
return LinExpr(x,LinExpr::NT_SUB,y);
}
LinExpr
operator -(const IntVar& x) {
if (x.assigned())
return LinExpr(-x.val());
else
return LinExpr(x,LinExpr::NT_SUB,0);
}
LinExpr
operator -(const LinExpr& e, const IntVar& x) {
if (x.assigned())
return e - x.val();
else
return LinExpr(e,LinExpr::NT_SUB,x);
}
LinExpr
operator -(const IntVar& x, const LinExpr& e) {
if (x.assigned())
return x.val() - e;
else
return LinExpr(x,LinExpr::NT_SUB,e);
}
LinExpr
operator -(const IntVar& x, int c) {
if (x.assigned() && Int::Limits::valid(x.val()-static_cast<double>(c)))
return LinExpr(x.val()-static_cast<double>(c));
else
return LinExpr(x,LinExpr::NT_ADD,-c);
}
LinExpr
operator -(int c, const IntVar& x) {
if (x.assigned() && Int::Limits::valid(static_cast<double>(c)-x.val()))
return LinExpr(static_cast<double>(c)-x.val());
else
return LinExpr(x,LinExpr::NT_SUB,c);
}
LinExpr
operator +(const LinExpr& e, const IntVar& x) {
if (x.assigned())
return e + x.val();
else
return LinExpr(e,LinExpr::NT_ADD,x);
}
LinExpr
operator +(const IntVar& x, const LinExpr& e) {
if (x.assigned())
return x.val() + e;
else
return LinExpr(x,LinExpr::NT_ADD,e);
}
void
cumulative(Home home, IntVar c, const IntVarArgs& s, const IntArgs& p,
const IntArgs& u, const BoolVarArgs& m, IntConLevel icl) {
if (c.assigned())
cumulative(home,c.val(),s,p,u,m,icl);
else
cumulative(home,Int::IntView(c),s,p,u,m,icl);
}
void
cumulative(Home home, IntVar c, const TaskTypeArgs& t,
const IntVarArgs& s, const IntArgs& p, const IntArgs& u,
IntConLevel icl) {
if (c.assigned())
cumulative(home,c.val(),t,s,p,u,icl);
else
cumulative(home,Int::IntView(c),t,s,p,u,icl);
}
LinExpr
operator *(const IntVar& x, int a) {
if (a == 0)
return LinExpr(0.0);
else if (x.assigned() &&
Int::Limits::valid(static_cast<double>(a)*x.val()))
return LinExpr(static_cast<double>(a)*x.val());
else
return LinExpr(x,a);
}
void
BElementExpr::post(Space& home, BoolVar b, bool pos, IntConLevel icl) {
IntVar z = idx.post(home, icl);
if (z.assigned() && z.val() >= 0 && z.val() < n) {
BoolExpr be = pos ? (a[z.val()] == b) : (a[z.val()] == !b);
be.rel(home,icl);
} else {
BoolVarArgs x(n);
for (int i=n; i--;)
x[i] = a[i].expr(home,icl);
BoolVar res = pos ? b : (!b).expr(home,icl);
element(home, x, z, res, icl);
}
}
