General test support. More...
Namespaces | |
Array | |
Tests for arrays. | |
Assign | |
Tests for assignments. | |
Branch | |
Tests for branchings. | |
FlatZinc | |
Tests for FlatZinc. | |
Float | |
Testing domain floats. | |
Int | |
Testing finite domain integers. | |
LDSB | |
Testing for LDSB. | |
NoGoods | |
Tests for search using no-goods. | |
Search | |
Tests for search engines. | |
Set | |
Testing finite sets. | |
Classes | |
class | AFC |
Test for AFC infrastructure More... | |
class | Region |
Test for Region memory area 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... | |
Enumerations | |
enum | MatchType { MT_ANY , MT_NOT , MT_FIRST } |
How to match. More... | |
Functions | |
void | report_error (std::string name) |
Variables | |
AFC | afc |
Region | r |
std::ostringstream | olog |
Stream used for logging. More... | |
Options | opt |
The options. More... | |
std::vector< std::pair< MatchType, const char * > > | testpat |
const char * | startFrom = NULL |
bool | list = false |
General test support.
enum Test::MatchType |
Region Test::r |
Definition at line 65 of file region.cpp.
std::ostringstream Test::olog |
std::vector<std::pair<MatchType, const char*> > Test::testpat |