38 namespace Gecode {
namespace Search {
46 share_rbs(true), share_pbs(false),
48 stop(NULL), cutoff(NULL) {}
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.