Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
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< VarSym1Test::LDSB::varsym1 ("VarSym1")
LDSB< VarSym1bTest::LDSB::varsym1b ("VarSym1b")
LDSB< VarSym2Test::LDSB::varsym2 ("VarSym2")
LDSB< VarSym3Test::LDSB::varsym3 ("VarSym3")
LDSB< VarSym4Test::LDSB::varsym4 ("VarSym4")
LDSB< VarSym5Test::LDSB::varsym5 ("VarSym5")
LDSB< MatSym1Test::LDSB::matsym1 ("MatSym1")
LDSB< MatSym2Test::LDSB::matsym2 ("MatSym2")
LDSB< MatSym3Test::LDSB::matsym3 ("MatSym3")
LDSB< MatSym4Test::LDSB::matsym4 ("MatSym4")
LDSB< SimIntVarSym1Test::LDSB::simintvarsym1 ("SimIntVarSym1")
LDSB< SimIntVarSym2Test::LDSB::simintvarsym2 ("SimIntVarSym2")
LDSB< SimIntValSym1Test::LDSB::simintvalsym1 ("SimIntValSym1")
LDSB< SimIntValSym2Test::LDSB::simintvalsym2 ("SimIntValSym2")
LDSB< SimIntValSym3Test::LDSB::simintvalsym3 ("SimIntValSym3")
LDSB< ValSym1Test::LDSB::valsym1 ("ValSym1")
LDSB< ValSym1bTest::LDSB::valsym1b ("ValSym1b")
LDSB< ValSym1cTest::LDSB::valsym1c ("ValSym1c")
LDSB< ValSym2Test::LDSB::valsym2 ("ValSym2")
LDSB< ValSym2bTest::LDSB::valsym2b ("ValSym2b")
LDSB< ValSym3Test::LDSB::valsym3 ("ValSym3")
LDSB< ValSym4Test::LDSB::valsym4 ("ValSym4")
LDSB< ValSym5Test::LDSB::valsym5 ("ValSym5")
LDSB< VarValSym1Test::LDSB::varvalsym1 ("VarValSym1")
LDSBLatin Test::LDSB::latin ("Latin")
LDSB< RecomputationTest::LDSB::recomp ("Recomputation", 999, 999)
LDSB< TieBreakTest::LDSB::tiebreak ("TieBreak")
LDSB< ReflectSym1Test::LDSB::reflectsym1 ("ReflectSym1")
LDSB< ReflectSym2Test::LDSB::reflectsym2 ("ReflectSym2")
LDSB< Action1Test::LDSB::action1 ("Action1")
LDSBSet< SetVarSym1Test::LDSB::setvarsym1 ("SetVarSym1")
LDSBSet< SetValSym1Test::LDSB::setvalsym1 ("SetValSym1")
LDSBSet< SetValSym2Test::LDSB::setvalsym2 ("SetValSym2", 0, 1)
LDSBSet< SetVarSeqSym1Test::LDSB::setvarseqsym1 ("SetVarSeqSym1")
LDSBSet< SetVarSeqSym2Test::LDSB::setvarseqsym2 ("SetVarSeqSym2")