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