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