Test::Branch::FloatTest Class Reference

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

#include <branch.hh>

List of all members.

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.
Protected Attributes
int	arity
	Number of variables.
Gecode::FloatVal	dom
	Domain of variables.
int	nbSols
	Maximum number of solutions searched during solving.

---

Detailed Description

Base class for tests for branching on float variables

Definition at line 124 of file branch.hh.

---

Constructor & Destructor Documentation

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

Construct and register test.

Definition at line 898 of file branch.cpp.

---

Member Function Documentation

bool Test::Branch::FloatTest::run

(

void

)

[virtual]

Perform test.

Implements Test::Base.

Definition at line 903 of file branch.cpp.

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

Post propagators on variables x.

Implemented in Test::Branch::Float.

---

Member Data Documentation

int Test::Branch::FloatTest::arity [protected]

Number of variables.

Definition at line 127 of file branch.hh.

Gecode::FloatVal Test::Branch::FloatTest::dom [protected]

Domain of variables.

Definition at line 129 of file branch.hh.

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 files:

• test/branch.hh
• test/branch.cpp