ldsb.cpp File Reference
#include <gecode/kernel.hh>
#include <gecode/int.hh>
#include <gecode/int/branch.hh>
#include <gecode/set.hh>
#include <gecode/set/branch.hh>
#include <gecode/minimodel.hh>
#include "test/test.hh"
#include <vector>
Go to the source code of this file.
Classes | |
class | Test::LDSB::OneArray |
Test space More... | |
class | Test::LDSB::OneArraySet |
Test space (set version) More... | |
class | Test::LDSB::LDSB< T > |
Test for LDSB infrastructure More... | |
class | Test::LDSB::LDSBSet< T > |
Test for LDSB infrastructure More... | |
class | Test::LDSB::VarSym1 |
Test for variable symmetry More... | |
class | Test::LDSB::VarSym1b |
Test for variable symmetry More... | |
class | Test::LDSB::VarSym2 |
Test for variable symmetry More... | |
class | Test::LDSB::VarSym3 |
Test for variable symmetry More... | |
class | Test::LDSB::VarSym4 |
Test for variable symmetry More... | |
class | Test::LDSB::VarSym5 |
Test for variable symmetry More... | |
class | Test::LDSB::MatSym1 |
Test for matrix symmetry More... | |
class | Test::LDSB::MatSym2 |
Test for matrix symmetry More... | |
class | Test::LDSB::MatSym3 |
Test for matrix symmetry More... | |
class | Test::LDSB::MatSym4 |
Test for matrix symmetry More... | |
class | Test::LDSB::SimIntVarSym1 |
Test for variable sequence symmetry More... | |
class | Test::LDSB::SimIntVarSym2 |
Test for variable sequence symmetry More... | |
class | Test::LDSB::SimIntValSym1 |
Test for value sequence symmetry More... | |
class | Test::LDSB::SimIntValSym2 |
Test for value sequence symmetry More... | |
class | Test::LDSB::SimIntValSym3 |
Test for value sequence symmetry More... | |
class | Test::LDSB::ValSym1 |
Test for value symmetry More... | |
class | Test::LDSB::ValSym1b |
Test for value symmetry More... | |
class | Test::LDSB::ValSym1c |
Test for value symmetry More... | |
class | Test::LDSB::ValSym2 |
Test for value symmetry More... | |
class | Test::LDSB::ValSym2b |
Test for value symmetry More... | |
class | Test::LDSB::ValSym3 |
Test for value symmetry More... | |
class | Test::LDSB::ValSym4 |
Test for value symmetry More... | |
class | Test::LDSB::ValSym5 |
Test for value symmetry More... | |
class | Test::LDSB::VarValSym1 |
Test for variable and value symmetry More... | |
class | Test::LDSB::LDSBLatin |
Test for LDSB infrastructure with Latin square problem More... | |
class | Test::LDSB::LDSBLatin::Latin |
Latin square space More... | |
class | Test::LDSB::Recomputation |
Test for handling of recomputation More... | |
class | Test::LDSB::TieBreak |
Test tiebreaking variable heuristic. More... | |
class | Test::LDSB::SetVarSym1 |
Test for set variable symmetry More... | |
class | Test::LDSB::SetValSym1 |
Test for set value symmetry More... | |
class | Test::LDSB::SetValSym2 |
Test for set value symmetry More... | |
class | Test::LDSB::SetVarSeqSym1 |
Test for set variable sequence symmetry More... | |
class | Test::LDSB::SetVarSeqSym2 |
Test for set variable sequence symmetry More... | |
class | Test::LDSB::ReflectSym1 |
Test for reflection symmetry More... | |
class | Test::LDSB::ReflectSym2 |
Test for reflection symmetry More... | |
class | Test::LDSB::Action1 |
Test with action More... | |
Namespaces | |
namespace | Test::LDSB |
Testing for LDSB. | |
namespace | Test |
General test support. | |
Functions | |
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). | |
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). | |
template<class T , class VarArgsType > | |
bool | Test::LDSB::check (DFS< T > &e, std::vector< VarArgsType > expected) |
Checks found solutions against expected solutions. | |
double | Test::LDSB::position (const Space &home, IntVar x, int i) |
IntSetArgs | Test::LDSB::ISA (int n,...) |
Convenient way to make IntSetArgs. | |
Variables | |
LDSB< VarSym1 > | Test::LDSB::varsym1 ("VarSym1") |
LDSB< VarSym1b > | Test::LDSB::varsym1b ("VarSym1b") |
LDSB< VarSym2 > | Test::LDSB::varsym2 ("VarSym2") |
LDSB< VarSym3 > | Test::LDSB::varsym3 ("VarSym3") |
LDSB< VarSym4 > | Test::LDSB::varsym4 ("VarSym4") |
LDSB< VarSym5 > | Test::LDSB::varsym5 ("VarSym5") |
LDSB< MatSym1 > | Test::LDSB::matsym1 ("MatSym1") |
LDSB< MatSym2 > | Test::LDSB::matsym2 ("MatSym2") |
LDSB< MatSym3 > | Test::LDSB::matsym3 ("MatSym3") |
LDSB< MatSym4 > | Test::LDSB::matsym4 ("MatSym4") |
LDSB< SimIntVarSym1 > | Test::LDSB::simintvarsym1 ("SimIntVarSym1") |
LDSB< SimIntVarSym2 > | Test::LDSB::simintvarsym2 ("SimIntVarSym2") |
LDSB< SimIntValSym1 > | Test::LDSB::simintvalsym1 ("SimIntValSym1") |
LDSB< SimIntValSym2 > | Test::LDSB::simintvalsym2 ("SimIntValSym2") |
LDSB< SimIntValSym3 > | Test::LDSB::simintvalsym3 ("SimIntValSym3") |
LDSB< ValSym1 > | Test::LDSB::valsym1 ("ValSym1") |
LDSB< ValSym1b > | Test::LDSB::valsym1b ("ValSym1b") |
LDSB< ValSym1c > | Test::LDSB::valsym1c ("ValSym1c") |
LDSB< ValSym2 > | Test::LDSB::valsym2 ("ValSym2") |
LDSB< ValSym2b > | Test::LDSB::valsym2b ("ValSym2b") |
LDSB< ValSym3 > | Test::LDSB::valsym3 ("ValSym3") |
LDSB< ValSym4 > | Test::LDSB::valsym4 ("ValSym4") |
LDSB< ValSym5 > | Test::LDSB::valsym5 ("ValSym5") |
LDSB< VarValSym1 > | Test::LDSB::varvalsym1 ("VarValSym1") |
LDSBLatin | Test::LDSB::latin ("Latin") |
LDSB< Recomputation > | Test::LDSB::recomp ("Recomputation", 999, 999) |
LDSB< TieBreak > | Test::LDSB::tiebreak ("TieBreak") |
LDSB< ReflectSym1 > | Test::LDSB::reflectsym1 ("ReflectSym1") |
LDSB< ReflectSym2 > | Test::LDSB::reflectsym2 ("ReflectSym2") |
LDSB< Action1 > | Test::LDSB::action1 ("Action1") |
LDSBSet< SetVarSym1 > | Test::LDSB::setvarsym1 ("SetVarSym1") |
LDSBSet< SetValSym1 > | Test::LDSB::setvalsym1 ("SetValSym1") |
LDSBSet< SetValSym2 > | Test::LDSB::setvalsym2 ("SetValSym2", 0, 1) |
LDSBSet< SetVarSeqSym1 > | Test::LDSB::setvarseqsym1 ("SetVarSeqSym1") |
LDSBSet< SetVarSeqSym2 > | Test::LDSB::setvarseqsym2 ("SetVarSeqSym2") |