Test::Search Namespace Reference
Tests for search engines. More...
Classes | |
| class | TestSpace |
| Space with information. More... | |
| class | FailImmediate |
| Space that immediately fails. More... | |
| class | HasSolutions |
| Space that requires propagation and has solutions. More... | |
| class | Test |
| Base class for search tests. More... | |
| class | DFS |
| Test for depth-first search. More... | |
| class | LDS |
| Test for limited discrepancy search. More... | |
| class | Best |
| Test for best solution search. More... | |
| class | BranchTypes |
| Iterator for branching types. More... | |
| class | ConstrainTypes |
| Iterator for constrain types. More... | |
| class | Create |
| Help class to create and register tests. More... | |
Enumerations | |
| enum | HowToBranch { HTB_NONE, HTB_UNARY, HTB_BINARY, HTB_NARY } |
| Values for selecting branchings. More... | |
| enum | HowToConstrain { HTC_NONE, HTC_LEX_LE, HTC_LEX_GR, HTC_BAL_LE, HTC_BAL_GR } |
| Values for selecting how to constrain. More... | |
| enum | WhichModel { WM_FAIL_IMMEDIATE, WM_FAIL_SEARCH, WM_SOLUTIONS } |
| Values for selecting models. More... | |
Variables | |
| Create | c |
Detailed Description
Tests for search engines.
Enumeration Type Documentation
Values for selecting branchings.
- Enumerator:
-
HTB_NONE Do not branch. HTB_UNARY Branch with single alternative. HTB_BINARY Branch with two alternatives. HTB_NARY Branch with many alternatives.
Definition at line 52 of file search.cpp.
Values for selecting how to constrain.
- Enumerator:
Definition at line 60 of file search.cpp.
Values for selecting models.
- Enumerator:
-
WM_FAIL_IMMEDIATE Model that fails immediately. WM_FAIL_SEARCH Model without solutions. WM_SOLUTIONS Model with solutions.
Definition at line 69 of file search.cpp.
Variable Documentation
Definition at line 530 of file search.cpp.