Test for set value symmetry More...
Static Public Member Functions | |
static void | setup (Home h, SetVarArray &xs) |
Setup problem constraints and symmetries. | |
static std::vector< IntSetArgs > | expectedSolutions (void) |
Compute list of expected solutions. | |
Static Public Attributes | |
static const int | n = 2 |
Number of variables. | |
static const int | l = 0 |
Lower bound of values. | |
static const int | u = 1 |
Upper bound of values. |
static void Test::LDSB::SetValSym1::setup | ( | Home | h, |
SetVarArray & | xs | ||
) | [inline, static] |
static std::vector<IntSetArgs> Test::LDSB::SetValSym1::expectedSolutions | ( | void | ) | [inline, static] |
const int Test::LDSB::SetValSym1::n = 2 [static] |
const int Test::LDSB::SetValSym1::l = 0 [static] |
const int Test::LDSB::SetValSym1::u = 1 [static] |