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.
int n
Number of negative literals for node type.
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.
bool get(int x, int y) const
Is bit at position x, y set?
Support::BitSetBase BitSet
SymBitMatrix(Region &r, int n)
Initialize matrix for dimension n by n.
Gecode toplevel namespace