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 250 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 288 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 257 of file search.cpp.
static std::string Test::Search::Test::str | ( | HowToBranch | htb | ) | [inline, static] |
Map branching to string.
Definition at line 263 of file search.cpp.
static std::string Test::Search::Test::str | ( | HowToConstrain | htc | ) | [inline, static] |
Map constrain to string.
Definition at line 275 of file search.cpp.
Member Data Documentation
How to branch.
Definition at line 253 of file search.cpp.
Definition at line 253 of file search.cpp.
Definition at line 253 of file search.cpp.
How to constrain.
Definition at line 255 of file search.cpp.
The documentation for this class was generated from the following file: