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 = 3 |
Number of variables. | |
static const int | l = 1 |
Lower bound of values. | |
static const int | u = 4 |
Upper bound of values. |
static void Test::LDSB::SetValSym2::setup | ( | Home | h, |
SetVarArray & | xs | ||
) | [inline, static] |
static std::vector<IntSetArgs> Test::LDSB::SetValSym2::expectedSolutions | ( | void | ) | [inline, static] |
const int Test::LDSB::SetValSym2::n = 3 [static] |
const int Test::LDSB::SetValSym2::l = 1 [static] |
const int Test::LDSB::SetValSym2::u = 4 [static] |