Test Namespace Reference

---

Detailed Description

General test support.

Classes
class	ind
	Simple class for describing identation. More...
class	PropKinds
	Iterator for propagation kinds. More...
class	Options
	Commandline options. More...
class	Base
	Base class for all tests to be run. More...
Namespaces
namespace	Assign
	Tests for assignments.
namespace	Branch
	Tests for branchings.
namespace	CpltSet
	Testing finite sets with complete domain representation.
namespace	Int
	Testing finite domain integers.
namespace	Search
	Tests for search engines.
namespace	Set
	Testing finite sets.
Functions
Assignment *	assignment (void) const
bool	ignore (const Assignment &) const
void	post (Gecode::Space *, Gecode::IntVarArray &, Gecode::BoolVar)
bool	run (void)
	Test (const std::string &s, int a, const Gecode::IntSet &d, bool r, Gecode::IntConLevel i, Gecode::PropKind p)
	Test (const std::string &s, int a, int min, int max, bool r, Gecode::IntConLevel i, Gecode::PropKind p)
std::string	str (Gecode::PropKind pk)
std::string	str (Gecode::IntConLevel icl)
std::string	str (Gecode::IntRelType irt)
std::string	str (Gecode::BoolOpType bot)
std::string	str (int i)
template<class T>
bool	cmp (T x, Gecode::IntRelType r, T y)
void	report_error (std::string name)
Variables
std::ostringstream	olog
	Stream used for logging.
Options	opt
	The options.
std::vector< std::pair< bool, const char * > >	testpat
const char *	startFrom = NULL
bool	list = false

---

Function Documentation

Assignment* Test::assignment

(

void

)

const

Definition at line 354 of file int.cc.

bool Test::ignore

(

const Assignment &

)

const

Definition at line 376 of file int.cc.

void Test::post	(	Gecode::Space *	,
		Gecode::IntVarArray &	,
		Gecode::BoolVar
	)

Definition at line 381 of file int.cc.

bool Test::run

(

void

)

Definition at line 385 of file int.cc.

Test::Test	(	const std::string &	s,
		int	a,
		const Gecode::IntSet &	d,
		bool	r,
		Gecode::IntConLevel	i,
		Gecode::PropKind	p
	)			[inline]

Definition at line 119 of file int.icc.

Test::Test	(	const std::string &	s,
		int	a,
		int	min,
		int	max,
		bool	r,
		Gecode::IntConLevel	i,
		Gecode::PropKind	p
	)			[inline]

Definition at line 125 of file int.icc.

std::string Test::str

(

Gecode::PropKind

pk

)

[inline]

Definition at line 132 of file int.icc.

std::string Test::str

(

Gecode::IntConLevel

icl

)

[inline]

Definition at line 143 of file int.icc.

std::string Test::str

(

Gecode::IntRelType

irt

)

[inline]

Definition at line 155 of file int.icc.

std::string Test::str

(

Gecode::BoolOpType

bot

)

[inline]

Definition at line 171 of file int.icc.

std::string Test::str

(

int

i

)

[inline]

Definition at line 187 of file int.icc.

template<class T>

bool Test::cmp	(	T	x,
		Gecode::IntRelType	r,
		T	y
	)			[inline]

Definition at line 195 of file int.icc.

void Test::report_error

(

std::string

name

)

Definition at line 101 of file test.cc.

---

Variable Documentation

std::vector<std::pair<bool, const char*> > Test::testpat

Definition at line 110 of file test.cc.

const char* Test::startFrom = NULL

Definition at line 111 of file test.cc.

bool Test::list = false

Definition at line 112 of file test.cc.