36namespace Gecode {
namespace Int {
namespace NValues {
41 return (
x*(2*
n-
x-1)) / 2 +
y -
x - 1;
46 : Support::BitSet<
Region>(
r,static_cast<unsigned int>((n0*n0-n0)/2)),
52 if (
x >
y) std::swap(
x,
y);
59 if (
x >
y) std::swap(
x,
y);
int n
Number of negative literals for node type.
bool get(int x, int y) const
Is bit at position x, y set?
int pos(int x, int y) const
Return position in matrix.
void set(int x, int y)
Set bit at position x, y.
SymBitMatrix(Region &r, int n)
Initialize matrix for dimension n by n.
bool get(unsigned int i) const
Access value at bit i.
void set(unsigned int i)
Set bit i.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar x