Test::LDSB Namespace Reference

Testing for LDSB. More...

## 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")

## Detailed Description

Testing for LDSB.

## Function Documentation

## equal() [1/2]

bool Test::LDSB::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).

Definition at line 61 of file ldsb.cpp.

## equal() [2/2]

bool Test::LDSB::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).

Definition at line 73 of file ldsb.cpp.

## check()

template<class T, class VarArgsType>

bool Test::LDSB::check | ( | DFS< T > & | e,
|  | std::vector< VarArgsType > | expected )

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.

## position()

double Test::LDSB::position | ( | const Space & | home,
|  | IntVar | x,
|  | int | i )

Definition at line 1266 of file ldsb.cpp.

## ISA()

IntSetArgs Test::LDSB::ISA | ( | int | n,
|  |  | ... )

Convenient way to make IntSetArgs.

Definition at line 1309 of file ldsb.cpp.

## Variable Documentation

## varsym1

LDSB< VarSym1 > Test::LDSB::varsym1("VarSym1") | ( | "VarSym1" |  | ) |

## varsym1b

LDSB< VarSym1b > Test::LDSB::varsym1b("VarSym1b") | ( | "VarSym1b" |  | ) |

## varsym2

LDSB< VarSym2 > Test::LDSB::varsym2("VarSym2") | ( | "VarSym2" |  | ) |

## varsym3

LDSB< VarSym3 > Test::LDSB::varsym3("VarSym3") | ( | "VarSym3" |  | ) |

## varsym4

LDSB< VarSym4 > Test::LDSB::varsym4("VarSym4") | ( | "VarSym4" |  | ) |

## varsym5

LDSB< VarSym5 > Test::LDSB::varsym5("VarSym5") | ( | "VarSym5" |  | ) |

## matsym1

LDSB< MatSym1 > Test::LDSB::matsym1("MatSym1") | ( | "MatSym1" |  | ) |

## matsym2

LDSB< MatSym2 > Test::LDSB::matsym2("MatSym2") | ( | "MatSym2" |  | ) |

## matsym3

LDSB< MatSym3 > Test::LDSB::matsym3("MatSym3") | ( | "MatSym3" |  | ) |

## matsym4

LDSB< MatSym4 > Test::LDSB::matsym4("MatSym4") | ( | "MatSym4" |  | ) |

## simintvarsym1

LDSB< SimIntVarSym1 > Test::LDSB::simintvarsym1("SimIntVarSym1") | ( | "SimIntVarSym1" |  | ) |

## simintvarsym2

LDSB< SimIntVarSym2 > Test::LDSB::simintvarsym2("SimIntVarSym2") | ( | "SimIntVarSym2" |  | ) |

## simintvalsym1

LDSB< SimIntValSym1 > Test::LDSB::simintvalsym1("SimIntValSym1") | ( | "SimIntValSym1" |  | ) |

## simintvalsym2

LDSB< SimIntValSym2 > Test::LDSB::simintvalsym2("SimIntValSym2") | ( | "SimIntValSym2" |  | ) |

## simintvalsym3

LDSB< SimIntValSym3 > Test::LDSB::simintvalsym3("SimIntValSym3") | ( | "SimIntValSym3" |  | ) |

## valsym1

LDSB< ValSym1 > Test::LDSB::valsym1("ValSym1") | ( | "ValSym1" |  | ) |

## valsym1b

LDSB< ValSym1b > Test::LDSB::valsym1b("ValSym1b") | ( | "ValSym1b" |  | ) |

## valsym1c

LDSB< ValSym1c > Test::LDSB::valsym1c("ValSym1c") | ( | "ValSym1c" |  | ) |

## valsym2

LDSB< ValSym2 > Test::LDSB::valsym2("ValSym2") | ( | "ValSym2" |  | ) |

## valsym2b

LDSB< ValSym2b > Test::LDSB::valsym2b("ValSym2b") | ( | "ValSym2b" |  | ) |

## valsym3

LDSB< ValSym3 > Test::LDSB::valsym3("ValSym3") | ( | "ValSym3" |  | ) |

## valsym4

LDSB< ValSym4 > Test::LDSB::valsym4("ValSym4") | ( | "ValSym4" |  | ) |

## valsym5

LDSB< ValSym5 > Test::LDSB::valsym5("ValSym5") | ( | "ValSym5" |  | ) |

## varvalsym1

LDSB< VarValSym1 > Test::LDSB::varvalsym1("VarValSym1") | ( | "VarValSym1" |  | ) |

## latin

LDSBLatin Test::LDSB::latin("Latin") | ( | "Latin" |  | ) |

## recomp

LDSB< Recomputation > Test::LDSB::recomp("Recomputation", 999, 999) | ( | "Recomputation" | ,
|  | 999 | ,
|  | 999 | )

## tiebreak

LDSB< TieBreak > Test::LDSB::tiebreak("TieBreak") | ( | "TieBreak" |  | ) |

## reflectsym1

LDSB< ReflectSym1 > Test::LDSB::reflectsym1("ReflectSym1") | ( | "ReflectSym1" |  | ) |

## reflectsym2

LDSB< ReflectSym2 > Test::LDSB::reflectsym2("ReflectSym2") | ( | "ReflectSym2" |  | ) |

## action1

LDSB< Action1 > Test::LDSB::action1("Action1") | ( | "Action1" |  | ) |

## setvarsym1

LDSBSet< SetVarSym1 > Test::LDSB::setvarsym1("SetVarSym1") | ( | "SetVarSym1" |  | ) |

## setvalsym1

LDSBSet< SetValSym1 > Test::LDSB::setvalsym1("SetValSym1") | ( | "SetValSym1" |  | ) |

## setvalsym2

LDSBSet< SetValSym2 > Test::LDSB::setvalsym2("SetValSym2", 0, 1) | ( | "SetValSym2" | ,
|  | 0 | ,
|  | 1 | )

## setvarseqsym1

LDSBSet< SetVarSeqSym1 > Test::LDSB::setvarseqsym1("SetVarSeqSym1") | ( | "SetVarSeqSym1" |  | ) |

## setvarseqsym2

LDSBSet< SetVarSeqSym2 > Test::LDSB::setvarseqsym2("SetVarSeqSym2") | ( | "SetVarSeqSym2" |  | ) |