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. |
Base class for search tests
Definition at line 296 of file search.cpp.
Test::Search::Test::Test | ( | const std::string & | s, |
HowToBranch | _htb1, | ||
HowToBranch | _htb2, | ||
HowToBranch | _htb3, | ||
HowToConstrain | _htc = HTC_NONE |
||
) | [inline] |
Initialize test.
Definition at line 334 of file search.cpp.
static std::string Test::Search::Test::str | ( | unsigned int | i | ) | [inline, static] |
Map unsigned integer to string.
Definition at line 303 of file search.cpp.
static std::string Test::Search::Test::str | ( | HowToBranch | htb | ) | [inline, static] |
Map branching to string.
Definition at line 309 of file search.cpp.
static std::string Test::Search::Test::str | ( | HowToConstrain | htc | ) | [inline, static] |
Map constrain to string.
Definition at line 321 of file search.cpp.
How to branch.
Definition at line 299 of file search.cpp.
Definition at line 299 of file search.cpp.
Definition at line 299 of file search.cpp.
How to constrain.
Definition at line 301 of file search.cpp.