[gecode-users] Bug....

[Guido Tack]

Hi.
> In "lin-expr.icc", the operator:
> forceinline Gecode::MiniModel::LinExpr
> operator-(int c,
>          const Gecode::MiniModel::LinExpr& t) {
> return Gecode::MiniModel::LinExpr(t, c, -1);
> }
>
> IMHO is incorrect, I think that must be:
>
> return Gecode::MiniModel::LinExpr(t,-c,-1);

No, this operator is correct. What is incorrect is the documentation of 

LinExpr(const LinExpr& e, int c, int s);

It should read 
Create expression s*e+c (where s is the sign)

Thanks for the report!

Cheers,
	Guido

-- 
Guido Tack
Programming Systems Lab, Saarland University, Germany
http://www.ps.uni-sb.de/~tack