Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
Test::LDSB Namespace Reference

Testing for LDSB. More...

Classes

class  Action1
 Test with action More...
 
class  LDSB
 Test for LDSB infrastructure More...
 
class  LDSBLatin
 Test for LDSB infrastructure with Latin square problem More...
 
class  LDSBSet
 Test for LDSB infrastructure More...
 
class  MatSym1
 Test for matrix symmetry More...
 
class  MatSym2
 Test for matrix symmetry More...
 
class  MatSym3
 Test for matrix symmetry More...
 
class  MatSym4
 Test for matrix symmetry More...
 
class  OneArray
 Test space More...
 
class  OneArraySet
 Test space (set version) More...
 
class  Recomputation
 Test for handling of recomputation More...
 
class  ReflectSym1
 Test for reflection symmetry More...
 
class  ReflectSym2
 Test for reflection symmetry More...
 
class  SetValSym1
 Test for set value symmetry More...
 
class  SetValSym2
 Test for set value symmetry More...
 
class  SetVarSeqSym1
 Test for set variable sequence symmetry More...
 
class  SetVarSeqSym2
 Test for set variable sequence symmetry More...
 
class  SetVarSym1
 Test for set variable symmetry More...
 
class  SimIntValSym1
 Test for value sequence symmetry More...
 
class  SimIntValSym2
 Test for value sequence symmetry More...
 
class  SimIntValSym3
 Test for value sequence symmetry More...
 
class  SimIntVarSym1
 Test for variable sequence symmetry More...
 
class  SimIntVarSym2
 Test for variable sequence symmetry More...
 
class  TieBreak
 Test tiebreaking variable heuristic. More...
 
class  ValSym1
 Test for value symmetry More...
 
class  ValSym1b
 Test for value symmetry More...
 
class  ValSym1c
 Test for value symmetry More...
 
class  ValSym2
 Test for value symmetry More...
 
class  ValSym2b
 Test for value symmetry More...
 
class  ValSym3
 Test for value symmetry More...
 
class  ValSym4
 Test for value symmetry More...
 
class  ValSym5
 Test for value symmetry More...
 
class  VarSym1
 Test for variable symmetry More...
 
class  VarSym1b
 Test for variable symmetry More...
 
class  VarSym2
 Test for variable symmetry More...
 
class  VarSym3
 Test for variable symmetry More...
 
class  VarSym4
 Test for variable symmetry More...
 
class  VarSym5
 Test for variable symmetry More...
 
class  VarValSym1
 Test for variable and value symmetry More...
 

Functions

bool 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 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 check (DFS< T > &e, std::vector< VarArgsType > expected)
 Checks found solutions against expected solutions.
 
double position (const Space &home, IntVar x, int i)
 
IntSetArgs ISA (int n,...)
 Convenient way to make IntSetArgs.
 

Variables

LDSB< VarSym1varsym1 ("VarSym1")
 
LDSB< VarSym1bvarsym1b ("VarSym1b")
 
LDSB< VarSym2varsym2 ("VarSym2")
 
LDSB< VarSym3varsym3 ("VarSym3")
 
LDSB< VarSym4varsym4 ("VarSym4")
 
LDSB< VarSym5varsym5 ("VarSym5")
 
LDSB< MatSym1matsym1 ("MatSym1")
 
LDSB< MatSym2matsym2 ("MatSym2")
 
LDSB< MatSym3matsym3 ("MatSym3")
 
LDSB< MatSym4matsym4 ("MatSym4")
 
LDSB< SimIntVarSym1simintvarsym1 ("SimIntVarSym1")
 
LDSB< SimIntVarSym2simintvarsym2 ("SimIntVarSym2")
 
LDSB< SimIntValSym1simintvalsym1 ("SimIntValSym1")
 
LDSB< SimIntValSym2simintvalsym2 ("SimIntValSym2")
 
LDSB< SimIntValSym3simintvalsym3 ("SimIntValSym3")
 
LDSB< ValSym1valsym1 ("ValSym1")
 
LDSB< ValSym1bvalsym1b ("ValSym1b")
 
LDSB< ValSym1cvalsym1c ("ValSym1c")
 
LDSB< ValSym2valsym2 ("ValSym2")
 
LDSB< ValSym2bvalsym2b ("ValSym2b")
 
LDSB< ValSym3valsym3 ("ValSym3")
 
LDSB< ValSym4valsym4 ("ValSym4")
 
LDSB< ValSym5valsym5 ("ValSym5")
 
LDSB< VarValSym1varvalsym1 ("VarValSym1")
 
LDSBLatin latin ("Latin")
 
LDSB< Recomputationrecomp ("Recomputation", 999, 999)
 
LDSB< TieBreaktiebreak ("TieBreak")
 
LDSB< ReflectSym1reflectsym1 ("ReflectSym1")
 
LDSB< ReflectSym2reflectsym2 ("ReflectSym2")
 
LDSB< Action1action1 ("Action1")
 
LDSBSet< SetVarSym1setvarsym1 ("SetVarSym1")
 
LDSBSet< SetValSym1setvalsym1 ("SetValSym1")
 
LDSBSet< SetValSym2setvalsym2 ("SetValSym2", 0, 1)
 
LDSBSet< SetVarSeqSym1setvarseqsym1 ("SetVarSeqSym1")
 
LDSBSet< SetVarSeqSym2setvarseqsym2 ("SetVarSeqSym2")
 

Detailed Description

Testing for LDSB.

Function Documentation

◆ equal() [1/2]

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

Definition at line 61 of file ldsb.cpp.

◆ equal() [2/2]

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

Definition at line 73 of file ldsb.cpp.

◆ check()

template<class T , class VarArgsType >
bool Test::LDSB::check ( DFS< T > & e,
std::vector< VarArgsType > expected )

Checks found solutions against expected solutions.

Iterates through the solutions returned by the search engine and checks each one against the array of expected solutions. The order of solutions must be the same. Returns true if the expected solutions match the found solutions exactly, otherwise prints an explanation to standard error and returns false.

Definition at line 102 of file ldsb.cpp.

◆ position()

double Test::LDSB::position ( const Space & home,
IntVar x,
int i )

Definition at line 1266 of file ldsb.cpp.

◆ ISA()

IntSetArgs Test::LDSB::ISA ( int n,
... )

Convenient way to make IntSetArgs.

Definition at line 1309 of file ldsb.cpp.

Variable Documentation

◆ varsym1

LDSB< VarSym1 > Test::LDSB::varsym1("VarSym1") ( "VarSym1" )

◆ varsym1b

LDSB< VarSym1b > Test::LDSB::varsym1b("VarSym1b") ( "VarSym1b" )

◆ varsym2

LDSB< VarSym2 > Test::LDSB::varsym2("VarSym2") ( "VarSym2" )

◆ varsym3

LDSB< VarSym3 > Test::LDSB::varsym3("VarSym3") ( "VarSym3" )

◆ varsym4

LDSB< VarSym4 > Test::LDSB::varsym4("VarSym4") ( "VarSym4" )

◆ varsym5

LDSB< VarSym5 > Test::LDSB::varsym5("VarSym5") ( "VarSym5" )

◆ matsym1

LDSB< MatSym1 > Test::LDSB::matsym1("MatSym1") ( "MatSym1" )

◆ matsym2

LDSB< MatSym2 > Test::LDSB::matsym2("MatSym2") ( "MatSym2" )

◆ matsym3

LDSB< MatSym3 > Test::LDSB::matsym3("MatSym3") ( "MatSym3" )

◆ matsym4

LDSB< MatSym4 > Test::LDSB::matsym4("MatSym4") ( "MatSym4" )

◆ simintvarsym1

LDSB< SimIntVarSym1 > Test::LDSB::simintvarsym1("SimIntVarSym1") ( "SimIntVarSym1" )

◆ simintvarsym2

LDSB< SimIntVarSym2 > Test::LDSB::simintvarsym2("SimIntVarSym2") ( "SimIntVarSym2" )

◆ simintvalsym1

LDSB< SimIntValSym1 > Test::LDSB::simintvalsym1("SimIntValSym1") ( "SimIntValSym1" )

◆ simintvalsym2

LDSB< SimIntValSym2 > Test::LDSB::simintvalsym2("SimIntValSym2") ( "SimIntValSym2" )

◆ simintvalsym3

LDSB< SimIntValSym3 > Test::LDSB::simintvalsym3("SimIntValSym3") ( "SimIntValSym3" )

◆ valsym1

LDSB< ValSym1 > Test::LDSB::valsym1("ValSym1") ( "ValSym1" )

◆ valsym1b

LDSB< ValSym1b > Test::LDSB::valsym1b("ValSym1b") ( "ValSym1b" )

◆ valsym1c

LDSB< ValSym1c > Test::LDSB::valsym1c("ValSym1c") ( "ValSym1c" )

◆ valsym2

LDSB< ValSym2 > Test::LDSB::valsym2("ValSym2") ( "ValSym2" )

◆ valsym2b

LDSB< ValSym2b > Test::LDSB::valsym2b("ValSym2b") ( "ValSym2b" )

◆ valsym3

LDSB< ValSym3 > Test::LDSB::valsym3("ValSym3") ( "ValSym3" )

◆ valsym4

LDSB< ValSym4 > Test::LDSB::valsym4("ValSym4") ( "ValSym4" )

◆ valsym5

LDSB< ValSym5 > Test::LDSB::valsym5("ValSym5") ( "ValSym5" )

◆ varvalsym1

LDSB< VarValSym1 > Test::LDSB::varvalsym1("VarValSym1") ( "VarValSym1" )

◆ latin

LDSBLatin Test::LDSB::latin("Latin") ( "Latin" )

◆ recomp

LDSB< Recomputation > Test::LDSB::recomp("Recomputation", 999, 999) ( "Recomputation" ,
999 ,
999  )

◆ tiebreak

LDSB< TieBreak > Test::LDSB::tiebreak("TieBreak") ( "TieBreak" )

◆ reflectsym1

LDSB< ReflectSym1 > Test::LDSB::reflectsym1("ReflectSym1") ( "ReflectSym1" )

◆ reflectsym2

LDSB< ReflectSym2 > Test::LDSB::reflectsym2("ReflectSym2") ( "ReflectSym2" )

◆ action1

LDSB< Action1 > Test::LDSB::action1("Action1") ( "Action1" )

◆ setvarsym1

LDSBSet< SetVarSym1 > Test::LDSB::setvarsym1("SetVarSym1") ( "SetVarSym1" )

◆ setvalsym1

LDSBSet< SetValSym1 > Test::LDSB::setvalsym1("SetValSym1") ( "SetValSym1" )

◆ setvalsym2

LDSBSet< SetValSym2 > Test::LDSB::setvalsym2("SetValSym2", 0, 1) ( "SetValSym2" ,
0 ,
1  )

◆ setvarseqsym1

LDSBSet< SetVarSeqSym1 > Test::LDSB::setvarseqsym1("SetVarSeqSym1") ( "SetVarSeqSym1" )

◆ setvarseqsym2

LDSBSet< SetVarSeqSym2 > Test::LDSB::setvarseqsym2("SetVarSeqSym2") ( "SetVarSeqSym2" )