Function plus

gecode/int/task/tree.hpp:38–42

namespace Gecode { namespace Int {

  forceinline int
  plus(int x, int y) {
    assert(y != -Limits::infinity);
    return (x == -Limits::infinity) ? x : x+y;
  }

  forceinline long long int
  plus(long long int x, long long int y) {