41 return (
x*(2*
n-
x-1)) / 2 +
y -
x - 1;
52 if (
x >
y) std::swap(
x,
y);
59 if (
x >
y) std::swap(
x,
y);
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.
BitSet(Region &a, unsigned int s, bool set=false)
bool get(unsigned int i) const
Access value at bit i.
void set(unsigned int i)
Set bit i.
Number of values propagators.
Support algorithms and datastructures
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar x