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.
Public Member Functions inherited from Test::Base
	Base (std::string s)
	Create and register test with name s.
const std::string &	name (void) const
	Return name of test.
Base *	next (void) const
	Return next test.
void	next (Base *n)
	Set next test.
virtual bool	run (void)=0
	Run test.
bool	fixpoint (void)
	Throw a coin whether to compute a fixpoint.
virtual	~Base (void)
	Destructor.

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.
Static Public Member Functions inherited from Test::Base
static void	sort (void)
	Sort tests alphabetically.
static Base *	tests (void)
	Return all tests.
static bool	fixpoint (Gecode::Support::RandomGenerator &rand)
	Throw a coin whether to compute a fixpoint.
static std::string	str (bool b)
	Map bool to string.
static std::string	str (int i)
	Map integer to string.
static std::string	str (const Gecode::IntArgs &i)
	Map integer array to string.

Public Attributes
HowToBranch	htb1
	How to branch.
HowToBranch	htb2
HowToBranch	htb3
HowToConstrain	htc
	How to constrain.
Gecode::Support::RandomGenerator	_rand
	Random number generator.

Additional Inherited Members
Related Symbols inherited from Test::Base
int	main (int argc, char *argv[])
	Main function.

Detailed Description

Base class for search tests

Definition at line 339 of file search.cpp.

Constructor & Destructor Documentation

Test()

Test::Search::Test::Test ( const std::string & s, HowToBranch _htb1, HowToBranch _htb2, HowToBranch _htb3, HowToConstrain _htc = HTC_NONE )

inline

Initialize test.

Definition at line 377 of file search.cpp.

Member Function Documentation

str() [1/3]

std::string Test::Search::Test::str ( unsigned int i )

inlinestatic

Map unsigned integer to string.

Definition at line 346 of file search.cpp.

str() [2/3]

std::string Test::Search::Test::str ( HowToBranch htb )

inlinestatic

Map branching to string.

Definition at line 352 of file search.cpp.

str() [3/3]

std::string Test::Search::Test::str ( HowToConstrain htc )

inlinestatic

Map constrain to string.

Definition at line 364 of file search.cpp.

Member Data Documentation

htb1

HowToBranch Test::Search::Test::htb1

How to branch.

Definition at line 342 of file search.cpp.

htb2

HowToBranch Test::Search::Test::htb2

Definition at line 342 of file search.cpp.

htb3

HowToBranch Test::Search::Test::htb3

Definition at line 342 of file search.cpp.

htc

HowToConstrain Test::Search::Test::htc

How to constrain.

Definition at line 344 of file search.cpp.

---

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

• test/search.cpp