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)),
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.
Post propagator for SetVar SetOpType SetVar SetRelType r
Post propagator for SetVar SetOpType SetVar y
BitSet(Region &a, unsigned int s, bool set=false)
Bit set with space for s bits.
Post propagator for SetVar x
SymBitMatrix(Region &r, int n)
Initialize matrix for dimension n by n.
Gecode toplevel namespace
bool get(int x, int y) const
Is bit at position x, y set?
IntRelType swap(IntRelType irt)
Return swapped relation type of irt.