Test::LDSB Namespace Reference

Testing for LDSB. More...

Classes
class	OneArray
	Test space More...
class	OneArraySet
	Test space (set version) More...
class	LDSB
	Test for LDSB infrastructure More...
class	LDSBSet
	Test for LDSB infrastructure 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	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	SimIntVarSym1
	Test for variable sequence symmetry More...
class	SimIntVarSym2
	Test for variable sequence 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	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	VarValSym1
	Test for variable and value symmetry More...
class	LDSBLatin
	Test for LDSB infrastructure with Latin square problem More...
class	Recomputation
	Test for handling of recomputation More...
class	TieBreak
	Test tiebreaking variable heuristic. More...
class	SetVarSym1
	Test for set variable 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	ReflectSym1
	Test for reflection symmetry More...
class	ReflectSym2
	Test for reflection symmetry More...
class	Action1
	Test with action 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< VarSym1 >	varsym1 ("VarSym1")
LDSB< VarSym1b >	varsym1b ("VarSym1b")
LDSB< VarSym2 >	varsym2 ("VarSym2")
LDSB< VarSym3 >	varsym3 ("VarSym3")
LDSB< VarSym4 >	varsym4 ("VarSym4")
LDSB< VarSym5 >	varsym5 ("VarSym5")
LDSB< MatSym1 >	matsym1 ("MatSym1")
LDSB< MatSym2 >	matsym2 ("MatSym2")
LDSB< MatSym3 >	matsym3 ("MatSym3")
LDSB< MatSym4 >	matsym4 ("MatSym4")
LDSB< SimIntVarSym1 >	simintvarsym1 ("SimIntVarSym1")
LDSB< SimIntVarSym2 >	simintvarsym2 ("SimIntVarSym2")
LDSB< SimIntValSym1 >	simintvalsym1 ("SimIntValSym1")
LDSB< SimIntValSym2 >	simintvalsym2 ("SimIntValSym2")
LDSB< SimIntValSym3 >	simintvalsym3 ("SimIntValSym3")
LDSB< ValSym1 >	valsym1 ("ValSym1")
LDSB< ValSym1b >	valsym1b ("ValSym1b")
LDSB< ValSym1c >	valsym1c ("ValSym1c")
LDSB< ValSym2 >	valsym2 ("ValSym2")
LDSB< ValSym2b >	valsym2b ("ValSym2b")
LDSB< ValSym3 >	valsym3 ("ValSym3")
LDSB< ValSym4 >	valsym4 ("ValSym4")
LDSB< ValSym5 >	valsym5 ("ValSym5")
LDSB< VarValSym1 >	varvalsym1 ("VarValSym1")
LDSBLatin	latin ("Latin")
LDSB< Recomputation >	recomp ("Recomputation", 999, 999)
LDSB< TieBreak >	tiebreak ("TieBreak")
LDSB< ReflectSym1 >	reflectsym1 ("ReflectSym1")
LDSB< ReflectSym2 >	reflectsym2 ("ReflectSym2")
LDSB< Action1 >	action1 ("Action1")
LDSBSet< SetVarSym1 >	setvarsym1 ("SetVarSym1")
LDSBSet< SetValSym1 >	setvalsym1 ("SetValSym1")
LDSBSet< SetValSym2 >	setvalsym2 ("SetValSym2", 0, 1)
LDSBSet< SetVarSeqSym1 >	setvarseqsym1 ("SetVarSeqSym1")
LDSBSet< SetVarSeqSym2 >	setvarseqsym2 ("SetVarSeqSym2")

Detailed Description

Testing for LDSB.

Function Documentation

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.

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.

template<class T , class VarArgsType >

bool Test::LDSB::check	(	DFS< T > &	e,
		std::vector< VarArgsType >	expected
	)			`[inline]`

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.