Classes |
class | OneArray |
| Test space More...
|
class | OneArraySet |
| Test space (set version) More...
|
class | LDSB |
| Test for LDSB infrastructure More...
|
class | LDSBSet |
| Test for LDSB infrastructure More...
|
class | VarSym1 |
| Test for variable symmetry More...
|
class | VarSym1b |
| Test for variable symmetry More...
|
class | VarSym2 |
| Test for variable symmetry More...
|
class | VarSym3 |
| Test for variable symmetry More...
|
class | VarSym4 |
| Test for variable symmetry More...
|
class | VarSym5 |
| Test for variable symmetry More...
|
class | MatSym1 |
| Test for matrix symmetry More...
|
class | MatSym2 |
| Test for matrix symmetry More...
|
class | MatSym3 |
| Test for matrix symmetry More...
|
class | MatSym4 |
| Test for matrix symmetry More...
|
class | SimIntVarSym1 |
| Test for variable sequence symmetry More...
|
class | SimIntVarSym2 |
| Test for variable sequence symmetry More...
|
class | SimIntValSym1 |
| Test for value sequence symmetry More...
|
class | SimIntValSym2 |
| Test for value sequence symmetry More...
|
class | SimIntValSym3 |
| Test for value sequence symmetry More...
|
class | ValSym1 |
| Test for value symmetry More...
|
class | ValSym1b |
| Test for value symmetry More...
|
class | ValSym1c |
| Test for value symmetry More...
|
class | ValSym2 |
| Test for value symmetry More...
|
class | ValSym2b |
| Test for value symmetry More...
|
class | ValSym3 |
| Test for value symmetry More...
|
class | ValSym4 |
| Test for value symmetry More...
|
class | ValSym5 |
| Test for value symmetry More...
|
class | VarValSym1 |
| Test for variable and value symmetry More...
|
class | LDSBLatin |
| Test for LDSB infrastructure with Latin square problem More...
|
class | Recomputation |
| Test for handling of recomputation More...
|
class | TieBreak |
| Test tiebreaking variable heuristic. More...
|
class | SetVarSym1 |
| Test for set variable symmetry More...
|
class | SetValSym1 |
| Test for set value symmetry More...
|
class | SetValSym2 |
| Test for set value symmetry More...
|
class | SetVarSeqSym1 |
| Test for set variable sequence symmetry More...
|
class | SetVarSeqSym2 |
| Test for set variable sequence symmetry More...
|
class | ReflectSym1 |
| Test for reflection symmetry More...
|
class | ReflectSym2 |
| Test for reflection symmetry More...
|
class | Action1 |
| Test with action More...
|
Functions |
bool | equal (const IntArgs &a, const IntArgs &b) |
| Returns true iff a and b are equal (they have the same size and the same elements in the same positions).
|
bool | equal (const IntSetArgs &a, const IntSetArgs &b) |
| Returns true iff a and b are equal (they have the same size and the same elements in the same positions).
|
template<class T , class VarArgsType > |
bool | check (DFS< T > &e, std::vector< VarArgsType > expected) |
| Checks found solutions against expected solutions.
|
double | position (const Space &home, IntVar x, int i) |
IntSetArgs | ISA (int n,...) |
| Convenient way to make IntSetArgs.
|
Variables |
LDSB< VarSym1 > | varsym1 ("VarSym1") |
LDSB< VarSym1b > | varsym1b ("VarSym1b") |
LDSB< VarSym2 > | varsym2 ("VarSym2") |
LDSB< VarSym3 > | varsym3 ("VarSym3") |
LDSB< VarSym4 > | varsym4 ("VarSym4") |
LDSB< VarSym5 > | varsym5 ("VarSym5") |
LDSB< MatSym1 > | matsym1 ("MatSym1") |
LDSB< MatSym2 > | matsym2 ("MatSym2") |
LDSB< MatSym3 > | matsym3 ("MatSym3") |
LDSB< MatSym4 > | matsym4 ("MatSym4") |
LDSB< SimIntVarSym1 > | simintvarsym1 ("SimIntVarSym1") |
LDSB< SimIntVarSym2 > | simintvarsym2 ("SimIntVarSym2") |
LDSB< SimIntValSym1 > | simintvalsym1 ("SimIntValSym1") |
LDSB< SimIntValSym2 > | simintvalsym2 ("SimIntValSym2") |
LDSB< SimIntValSym3 > | simintvalsym3 ("SimIntValSym3") |
LDSB< ValSym1 > | valsym1 ("ValSym1") |
LDSB< ValSym1b > | valsym1b ("ValSym1b") |
LDSB< ValSym1c > | valsym1c ("ValSym1c") |
LDSB< ValSym2 > | valsym2 ("ValSym2") |
LDSB< ValSym2b > | valsym2b ("ValSym2b") |
LDSB< ValSym3 > | valsym3 ("ValSym3") |
LDSB< ValSym4 > | valsym4 ("ValSym4") |
LDSB< ValSym5 > | valsym5 ("ValSym5") |
LDSB< VarValSym1 > | varvalsym1 ("VarValSym1") |
LDSBLatin | latin ("Latin") |
LDSB< Recomputation > | recomp ("Recomputation", 999, 999) |
LDSB< TieBreak > | tiebreak ("TieBreak") |
LDSB< ReflectSym1 > | reflectsym1 ("ReflectSym1") |
LDSB< ReflectSym2 > | reflectsym2 ("ReflectSym2") |
LDSB< Action1 > | action1 ("Action1") |
LDSBSet< SetVarSym1 > | setvarsym1 ("SetVarSym1") |
LDSBSet< SetValSym1 > | setvalsym1 ("SetValSym1") |
LDSBSet< SetValSym2 > | setvalsym2 ("SetValSym2", 0, 1) |
LDSBSet< SetVarSeqSym1 > | setvarseqsym1 ("SetVarSeqSym1") |
LDSBSet< SetVarSeqSym2 > | setvarseqsym2 ("SetVarSeqSym2") |
template<class T , class VarArgsType >
bool Test::LDSB::check |
( |
DFS< T > & |
e, |
|
|
std::vector< VarArgsType > |
expected | |
|
) |
| | [inline] |
Checks found solutions against expected solutions.
Iterates through the solutions returned by the search engine and checks each one against the array of expected solutions. The order of solutions must be the same. Returns true if the expected solutions match the found solutions exactly, otherwise prints an explanation to standard error and returns false.
Definition at line 102 of file ldsb.cpp.