Method pos

gecode/int/nvalues/sym-bit-matrix.hpp:38–42

namespace Gecode { namespace Int { namespace NValues {

  forceinline int
  SymBitMatrix::pos(int x, int y) const {
    assert(x < y);
    return (x*(2*n-x-1)) / 2 + y - x - 1;
  }

  forceinline
  SymBitMatrix::SymBitMatrix(Region& r, int n0)