Function operator +

gecode/minimodel/int-expr.cpp:587–594

* Operators * */

   *
   */
  LinIntExpr
  operator +(int c, const IntVar& x) {
    if (x.assigned() &&
        Int::Limits::valid(static_cast<long long int>(c)+x.val()))
      return LinIntExpr(c+x.val());
    else
      return LinIntExpr(x,LinIntExpr::NT_ADD,c);
  }
  LinIntExpr
  operator +(int c, const BoolVar& x) {
    if (x.assigned() &&