40 namespace Gecode {
namespace Int {
namespace NValues {
45 return (x*(2*
n-x-1)) / 2 + y - x - 1;
50 : Support::
BitSet<
Region>(r,static_cast<unsigned int>((n0*n0-n0)/2)),
56 if (x > y) std::swap(x,y);
63 if (x > y) std::swap(x,y);
bool get(unsigned int i) const
Access value at bit i.
int pos(int x, int y) const
Return position in matrix.
void set(unsigned int i)
Set bit i.
void set(int x, int y)
Set bit at position x, y.
Node * x
Pointer to corresponding Boolean expression node.
BitSet(Region &a, unsigned int s, bool set=false)
Bit set with space for s bits.
bool get(int x, int y) const
Is bit at position x, y set?
SymBitMatrix(Region &r, int n)
Initialize matrix for dimension n by n.
Gecode toplevel namespace