
#include <gecode/kernel.hh>#include <gecode/int.hh>#include <gecode/int/branch.hh>#include <gecode/set.hh>#include <gecode/set/branch.hh>#include <stdarg.h>#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. | |