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 | LDS |
Test for limited discrepancy search More... | |
class | PBS |
Test for portfolio-based search More... | |
class | RBS |
Test for restart-based search More... | |
class | SEBPBS |
Test for portfolio-based search using SEBs 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 48 of file search.cpp.
Values for selecting how to constrain.
Definition at line 56 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 65 of file search.cpp.
Create Test::Search::c |
Definition at line 794 of file search.cpp.