Test::LDSB::VarValSym1 Class Reference
Test for variable and value symmetry
More...
List of all members.
Static Public Member Functions |
static void | setup (Home home, 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.
|
Detailed Description
Test for variable and value symmetry
Definition at line 1103 of file ldsb.cpp.
Member Function Documentation
static void Test::LDSB::VarValSym1::setup |
( |
Home |
home, |
|
|
IntVarArray & |
xs | |
|
) |
| | [inline, static] |
Setup problem constraints and symmetries.
Definition at line 1112 of file ldsb.cpp.
static std::vector<IntArgs> Test::LDSB::VarValSym1::expectedSolutions |
( |
void |
|
) |
[inline, static] |
Compute list of expected solutions.
Definition at line 1119 of file ldsb.cpp.
Member Data Documentation
Number of variables.
Definition at line 1106 of file ldsb.cpp.
Lower bound of values.
Definition at line 1108 of file ldsb.cpp.
Upper bound of values.
Definition at line 1110 of file ldsb.cpp.
The documentation for this class was generated from the following file: