Base class for no-good tests More...
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. |
Base class for no-good tests
Definition at line 210 of file nogoods.cpp.
Test::NoGoods::NoGoods< Model, ValBranch >::NoGoods | ( | ValBranch | vb0, |
unsigned int | t0, | ||
bool | a0, | ||
bool | n0 | ||
) | [inline] |
Initialize test.
Definition at line 228 of file nogoods.cpp.
static std::string Test::NoGoods::NoGoods< Model, ValBranch >::str | ( | unsigned int | i | ) | [inline, static] |
Map unsigned integer to string.
Definition at line 222 of file nogoods.cpp.
virtual bool Test::NoGoods::NoGoods< Model, ValBranch >::run | ( | void | ) | [inline, virtual] |
ValBranch Test::NoGoods::NoGoods< Model, ValBranch >::vb [protected] |
How to branch.
Definition at line 213 of file nogoods.cpp.
unsigned int Test::NoGoods::NoGoods< Model, ValBranch >::t [protected] |
Number of threads to use.
Definition at line 215 of file nogoods.cpp.
bool Test::NoGoods::NoGoods< Model, ValBranch >::a [protected] |
Whether to also assign some variables.
Definition at line 217 of file nogoods.cpp.
bool Test::NoGoods::NoGoods< Model, ValBranch >::n [protected] |
Whether to also create branchers without no-good literals.
Definition at line 219 of file nogoods.cpp.