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 | Base |
Base class for all tests to be run More... | |
class | BrancherHandle |
Test for brancher handles More... | |
class | ind |
Simple class for describing identation. More... | |
class | Options |
Commandline options. More... | |
class | SortByName |
Sort tests by name. More... | |
Functions | |
void | report_error (std::string name) |
Variables | |
AFC | afc |
BrancherHandle | bh |
std::ostringstream | olog |
Stream used for logging. More... | |
Options | opt |
The options. More... | |
std::vector< std::pair< bool, const char * > > | testpat |
const char * | startFrom = NULL |
bool | list = false |
General test support.
BrancherHandle Test::bh |
Definition at line 145 of file brancher-handle.cpp.