Test::Search::Test Class Reference
Base class for search tests More...
Public Member Functions | |
Test (const std::string &s, HowToBranch _htb1, HowToBranch _htb2, HowToBranch _htb3, HowToConstrain _htc=HTC_NONE) | |
Initialize test. | |
Static Public Member Functions | |
static std::string | str (unsigned int i) |
Map unsigned integer to string. | |
static std::string | str (HowToBranch htb) |
Map branching to string. | |
static std::string | str (HowToConstrain htc) |
Map constrain to string. | |
Public Attributes | |
HowToBranch | htb1 |
How to branch. | |
HowToBranch | htb2 |
HowToBranch | htb3 |
HowToConstrain | htc |
How to constrain. |
Detailed Description
Base class for search tests
Definition at line 316 of file search.cpp.
Constructor & Destructor Documentation
Test::Search::Test::Test | ( | const std::string & | s, | |
HowToBranch | _htb1, | |||
HowToBranch | _htb2, | |||
HowToBranch | _htb3, | |||
HowToConstrain | _htc = HTC_NONE | |||
) | [inline] |
Initialize test.
Definition at line 354 of file search.cpp.
Member Function Documentation
static std::string Test::Search::Test::str | ( | unsigned int | i | ) | [inline, static] |
Map unsigned integer to string.
Definition at line 323 of file search.cpp.
static std::string Test::Search::Test::str | ( | HowToBranch | htb | ) | [inline, static] |
Map branching to string.
Definition at line 329 of file search.cpp.
static std::string Test::Search::Test::str | ( | HowToConstrain | htc | ) | [inline, static] |
Map constrain to string.
Definition at line 341 of file search.cpp.
Member Data Documentation
How to branch.
Definition at line 319 of file search.cpp.
Definition at line 319 of file search.cpp.
Definition at line 319 of file search.cpp.
How to constrain.
Definition at line 321 of file search.cpp.
The documentation for this class was generated from the following file: