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

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