Test for variable sequence symmetry
More...
|
static const int | n = 12 |
| Number of variables.
|
|
static const int | l = 0 |
| Lower bound of values.
|
|
static const int | u = 3 |
| Upper bound of values.
|
|
Test for variable sequence symmetry
Definition at line 654 of file ldsb.cpp.
◆ setup()
static void Test::LDSB::SimIntVarSym1::setup |
( |
Home | home, |
|
|
IntVarArray & | xs ) |
|
inlinestatic |
Setup problem constraints and symmetries.
Definition at line 663 of file ldsb.cpp.
◆ expectedSolutions()
static std::vector< IntArgs > Test::LDSB::SimIntVarSym1::expectedSolutions |
( |
void | | ) |
|
|
inlinestatic |
Compute list of expected solutions.
Definition at line 677 of file ldsb.cpp.
const int Test::LDSB::SimIntVarSym1::n = 12 |
|
static |
Number of variables.
Definition at line 657 of file ldsb.cpp.
const int Test::LDSB::SimIntVarSym1::l = 0 |
|
static |
Lower bound of values.
Definition at line 659 of file ldsb.cpp.
const int Test::LDSB::SimIntVarSym1::u = 3 |
|
static |
Upper bound of values.
Definition at line 661 of file ldsb.cpp.
The documentation for this class was generated from the following file: