49 inline const std::string&
Base class for all tests to be run
static Gecode::Support::RandomGenerator rand
Random number generator.
Base(const std::string &s)
Create and register test with name s.
static Base * tests(void)
Return all tests.
static bool fixpoint(void)
Throw a coin whether to compute a fixpoint.
Base * next(void) const
Return next test.
const std::string & name(void) const
Return name of test.
bool log
Whether to log the tests.
unsigned int seed
The random seed to be used.
Options(void)
Initialize options with defaults.
static const unsigned int deffixprob
Default fixpoint probaibility.
unsigned int iter
Number of iterations for each test.
bool stop
Whether to stop on an error.
unsigned int fixprob
The probability for computing a fixpoint.
static const int defiter
Default number of iterations.