38 namespace Gecode {
namespace Search {
46 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 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.
Options(void)
Initialize with default values.
const bool clone
Whether engines create a clone when being initialized.