Test Namespace Reference

General test support. More...

Namespaces
namespace	Array
	Tests for arrays.
namespace	Assign
	Tests for assignments.
namespace	Branch
	Tests for branchings.
namespace	Int
	Testing finite domain integers.
namespace	Search
	Tests for search engines.
namespace	Set
	Testing finite sets.
Classes
class	AFC
	Test for AFC infrastructure More...
class	SortByName
	Sort tests by name. More...
class	ind
	Simple class for describing identation. More...
class	Options
	Commandline options. More...
class	Base
	Base class for all tests to be run More...
Functions
void	report_error (std::string name)
Variables
AFC	afc
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

---

Detailed Description

General test support.

---

Function Documentation

void Test::report_error

(

std::string

name

)

Definition at line 103 of file test.cpp.

---

Variable Documentation

AFC Test::afc

Definition at line 138 of file afc.cpp.

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

Definition at line 112 of file test.cpp.

const char* Test::startFrom = NULL

Definition at line 113 of file test.cpp.

bool Test::list = false

Definition at line 114 of file test.cpp.