Test::Search::Test Class Reference

Base class for search tests More...

List of all members.

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 312 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 350 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 319 of file search.cpp.

static std::string Test::Search::Test::str

(

HowToBranch

htb

)

[inline, static]

Map branching to string.

Definition at line 325 of file search.cpp.

static std::string Test::Search::Test::str

(

HowToConstrain

htc

)

[inline, static]

Map constrain to string.

Definition at line 337 of file search.cpp.

---

Member Data Documentation

HowToBranch Test::Search::Test::htb1

How to branch.

Definition at line 315 of file search.cpp.

HowToBranch Test::Search::Test::htb2

Definition at line 315 of file search.cpp.

HowToBranch Test::Search::Test::htb3

Definition at line 315 of file search.cpp.

HowToConstrain Test::Search::Test::htc

How to constrain.

Definition at line 317 of file search.cpp.

---

The documentation for this class was generated from the following file:

• test/search.cpp