Generated on Fri Oct 19 11:26:37 2018 for Gecode by doxygen 1.6.3

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: