#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. | |