Test for handling of recomputation
More...
|
static const int | n = 4 |
| Number of variables. More...
|
|
static const int | l = 0 |
| Lower bound of values. More...
|
|
static const int | u = 1 |
| Upper bound of values. More...
|
|
Test for handling of recomputation
Definition at line 1223 of file ldsb.cpp.
◆ setup()
static void Test::LDSB::Recomputation::setup |
( |
Home |
home, |
|
|
IntVarArray & |
xs |
|
) |
| |
|
inlinestatic |
Setup problem constraints and symmetries.
Definition at line 1232 of file ldsb.cpp.
◆ expectedSolutions()
static std::vector<IntArgs> Test::LDSB::Recomputation::expectedSolutions |
( |
void |
| ) |
|
|
inlinestatic |
Compute list of expected solutions.
Definition at line 1243 of file ldsb.cpp.
const int Test::LDSB::Recomputation::n = 4 |
|
static |
Number of variables.
Definition at line 1226 of file ldsb.cpp.
const int Test::LDSB::Recomputation::l = 0 |
|
static |
Lower bound of values.
Definition at line 1228 of file ldsb.cpp.
const int Test::LDSB::Recomputation::u = 1 |
|
static |
Upper bound of values.
Definition at line 1230 of file ldsb.cpp.
The documentation for this class was generated from the following file: