Generated on Thu Apr 11 13:59:28 2019 for Gecode by doxygen 1.6.3

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