46 : seed(0), iter(defiter), fixprob(deffixprob),
stop(true),
log(false)
53 inline const std::string&
const std::string & name(void) const
Return name of test.
void log(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
Base * next(void) const
Return next test.
static Gecode::Support::RandomGenerator rand
Random number generator.
void stop(Support::Timer &timer, std::ostream &os)
Get time since start of timer and print user friendly time information.
int n
Number of negative literals for node type.
static Base * tests(void)
Return all tests.
static bool fixpoint(void)
Throw a coin whether to compute a fixpoint.
Base class for all tests to be run
unsigned int fixprob
The probability for computing a fixpoint.
Options(void)
Initialize options with defaults.