Test::NoGoods::NoGoods< Model, ValBranch > Class Template Reference

Base class for no-good tests More...

List of all members.

Public Member Functions
	NoGoods (ValBranch vb0, unsigned int t0, bool a0, bool n0)
	Initialize test.
virtual bool	run (void)
	Run test.
Static Public Member Functions
static std::string	str (unsigned int i)
	Map unsigned integer to string.
Protected Attributes
ValBranch	vb
	How to branch.
unsigned int	t
	Number of threads to use.
bool	a
	Whether to also assign some variables.
bool	n
	Whether to also create branchers without no-good literals.

---

Detailed Description

template<class Model, class ValBranch>
class Test::NoGoods::NoGoods< Model, ValBranch >

Base class for no-good tests

Definition at line 206 of file nogoods.cpp.

---

Constructor & Destructor Documentation

template<class Model , class ValBranch >

Test::NoGoods::NoGoods< Model, ValBranch >::NoGoods	(	ValBranch	vb0,
		unsigned int	t0,
		bool	a0,
		bool	n0
	)			[inline]

Initialize test.

Definition at line 224 of file nogoods.cpp.

---

Member Function Documentation

template<class Model , class ValBranch >

static std::string Test::NoGoods::NoGoods< Model, ValBranch >::str

(

unsigned int

i

)

[inline, static]

Map unsigned integer to string.

Definition at line 218 of file nogoods.cpp.

template<class Model , class ValBranch >

virtual bool Test::NoGoods::NoGoods< Model, ValBranch >::run

(

void

)

[inline, virtual]

Run test.

Implements Test::Base.

Definition at line 229 of file nogoods.cpp.

---

Member Data Documentation

template<class Model , class ValBranch >

ValBranch Test::NoGoods::NoGoods< Model, ValBranch >::vb [protected]

How to branch.

Definition at line 209 of file nogoods.cpp.

template<class Model , class ValBranch >

unsigned int Test::NoGoods::NoGoods< Model, ValBranch >::t [protected]

Number of threads to use.

Definition at line 211 of file nogoods.cpp.

template<class Model , class ValBranch >

bool Test::NoGoods::NoGoods< Model, ValBranch >::a [protected]

Whether to also assign some variables.

Definition at line 213 of file nogoods.cpp.

template<class Model , class ValBranch >

bool Test::NoGoods::NoGoods< Model, ValBranch >::n [protected]

Whether to also create branchers without no-good literals.

Definition at line 215 of file nogoods.cpp.

---

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

• test/nogoods.cpp