Test::Branch::FloatTest Class Reference

Base class for tests for branching on float variables More...

#include <test/branch.hh>

Public Member Functions
	FloatTest (const std::string &s, int a, const Gecode::FloatVal &d, int nbs)
	Construct and register test.
virtual bool	run (void)
	Perform test.
virtual void	post (Gecode::Space &home, Gecode::FloatVarArray &x)=0
	Post propagators on variables x.
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.
bool	fixpoint (void)
	Throw a coin whether to compute a fixpoint.
virtual	~Base (void)
	Destructor.

Protected Attributes
int	arity
	Number of variables.
Gecode::FloatVal	dom
	Domain of variables.
int	nbSols
	Maximum number of solutions searched during solving.

Additional Inherited Members
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.
Gecode::Support::RandomGenerator	_rand
	Random number generator.
Related Symbols inherited from Test::Base
int	main (int argc, char *argv[])
	Main function.

Detailed Description

Base class for tests for branching on float variables

Definition at line 124 of file branch.hh.

Constructor & Destructor Documentation

FloatTest()

Test::Branch::FloatTest::FloatTest	(	const std::string &	s,
		int	a,
		const Gecode::FloatVal &	d,
		int	nbs )

Construct and register test.

Member Function Documentation

run()

virtual bool Test::Branch::FloatTest::run ( void )

virtual

Perform test.

Implements Test::Base.

post()

virtual void Test::Branch::FloatTest::post ( Gecode::Space & home, Gecode::FloatVarArray & x )

pure virtual

Post propagators on variables x.

Member Data Documentation

arity

int Test::Branch::FloatTest::arity

protected

Number of variables.

Definition at line 127 of file branch.hh.

dom

Gecode::FloatVal Test::Branch::FloatTest::dom

protected

Domain of variables.

Definition at line 129 of file branch.hh.

nbSols

int Test::Branch::FloatTest::nbSols

protected

Maximum number of solutions searched during solving.

Definition at line 131 of file branch.hh.

---

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

• test/branch.hh