Test for set value symmetry
More...
|
| 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.
|
| |
Test for set value symmetry
Definition at line 1419 of file ldsb.cpp.
◆ setup()
Setup problem constraints and symmetries.
Definition at line 1428 of file ldsb.cpp.
◆ expectedSolutions()
| static std::vector< IntSetArgs > Test::LDSB::SetValSym2::expectedSolutions |
( |
void |
| ) |
|
|
inlinestatic |
Compute list of expected solutions.
Definition at line 1436 of file ldsb.cpp.
| const int Test::LDSB::SetValSym2::n = 3 |
|
static |
Number of variables.
Definition at line 1422 of file ldsb.cpp.
| const int Test::LDSB::SetValSym2::l = 1 |
|
static |
Lower bound of values.
Definition at line 1424 of file ldsb.cpp.
| const int Test::LDSB::SetValSym2::u = 4 |
|
static |
Upper bound of values.
Definition at line 1426 of file ldsb.cpp.
The documentation for this class was generated from the following file: