
Tests for search engines. More...
Classes | |
| class | BAB |
| 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... | |
| class | DFS |
| Test for depth-first search More... | |
| class | FailImmediate |
| Space that immediately fails. More... | |
| class | HasSolutions |
| Space that requires propagation and has solutions. More... | |
| class | RBS |
| Test for restart-based search More... | |
| class | SolveImmediate |
| Space that is immediately solved. More... | |
| class | Test |
| Base class for search tests More... | |
| class | TestSpace |
| Space with information. More... | |
Enumerations | |
| enum | HowToBranch { HTB_NONE, HTB_UNARY, HTB_BINARY, HTB_NARY } |
| Values for selecting branchers. 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 |
Tests for search engines.
Values for selecting branchers.
| 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.
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.
| Create Test::Search::c |
Definition at line 578 of file search.cpp.