Method post

test/int/no-overlap.cpp:241–254

Post constraint on \a xwyho

      }
      /// Post constraint on \a xwyho
      virtual void post(Gecode::Space& home, Gecode::IntVarArray& xwyho) {
        using namespace Gecode;
        int n = (xwyho.size() - 2) / 2;
        IntVarArgs x0(n), w(n), x1(n), y0(n), h(n), y1(n);
        BoolVarArgs o(n);
        for (int i=0; i<n; i++) {
          x0[i]=xwyho[2*i+0]; w[i]=xwyho[2*i+1];
          x1[i]=expr(home, x0[i] + w[i]);
          y0[i]=xwyho[2*i+0]; h[i]=xwyho[2*i+1];
          y1[i]=expr(home, y0[i] + h[i]);
          o[i]=expr(home, xwyho[2*n + (i % 2)] > 0);
        }
        nooverlap(home, x0, w, x1, y0, h, y1, o);
      }
    };