
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 |