Test for value sequence symmetry More...
Static Public Member Functions | |
static void | setup (Home h, IntVarArray &xs) |
Setup problem constraints and symmetries. | |
static std::vector< IntArgs > | 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 = 6 |
Upper bound of values. |
static void Test::LDSB::SimIntValSym3::setup | ( | Home | h, |
IntVarArray & | xs | ||
) | [inline, static] |
static std::vector<IntArgs> Test::LDSB::SimIntValSym3::expectedSolutions | ( | void | ) | [inline, static] |
const int Test::LDSB::SimIntValSym3::n = 2 [static] |
const int Test::LDSB::SimIntValSym3::l = 0 [static] |
const int Test::LDSB::SimIntValSym3::u = 6 [static] |