
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.