Test Namespace Reference
General test support. More...
Namespaces | |
namespace | Array |
Tests for arrays. | |
namespace | Assign |
Tests for assignments. | |
namespace | Branch |
Tests for branchings. | |
namespace | FlatZinc |
Tests for FlatZinc. | |
namespace | Float |
Testing domain floats. | |
namespace | Int |
Testing finite domain integers. | |
namespace | LDSB |
Testing for LDSB. | |
namespace | NoGoods |
Tests for search using no-goods. | |
namespace | Search |
Tests for search engines. | |
namespace | Set |
Testing finite sets. | |
Classes | |
class | AFC |
Test for AFC infrastructure More... | |
class | BrancherHandle |
Test for brancher handles 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 |
BrancherHandle | bh |
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
Variable Documentation
Definition at line 145 of file brancher-handle.cpp.
std::vector<std::pair<bool, const char*> > Test::testpat |
const char* Test::startFrom = NULL |
bool Test::list = false |