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.