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 | 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 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 |
Detailed Description
Tests for search engines.
Enumeration Type Documentation
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.
- 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 482 of file search.cpp.