34namespace Gecode {
namespace Search {
43 stop(nullptr), cutoff(nullptr), tracer(nullptr) {}
Options(void)
Initialize with default values.
void stop(Support::Timer &timer, std::ostream &os)
Get time since start of timer and print user friendly time information.
const unsigned int d_l
Default discrepancy limit for LDS.
const unsigned int a_d
Create a clone during recomputation if distance is greater than a_d (adaptive distance)
const unsigned int c_d
Create a clone after every c_d commits (commit distance)
const unsigned int slice
Size of a slice in a portfolio and scale factor for restarts(in number of failures)
const unsigned int nogoods_limit
Depth limit for no-good generation during search.
const double threads
Number of threads to use.
const bool clone
Whether engines create a clone when being initialized.
Gecode toplevel namespace