Search engine options More...
#include <search.hh>
Public Member Functions | |
Options (void) | |
Initialize with default values. More... | |
Options | expand (void) const |
Expand with real number of threads. More... | |
Public Attributes | |
bool | clone |
Whether engines create a clone when being initialized. More... | |
double | threads |
Number of threads to use. More... | |
unsigned int | c_d |
Create a clone after every c_d commits (commit distance) More... | |
unsigned int | a_d |
Create a clone during recomputation if distance is greater than a_d (adaptive distance) More... | |
unsigned int | nogoods_limit |
Depth limit for extraction of no-goods. More... | |
Stop * | stop |
Stop object for stopping search. More... | |
Cutoff * | cutoff |
Cutoff for restart-based search. More... | |
Static Public Attributes | |
static const Options | def |
Default options. More... | |
Search engine options
Defines options for search engines. Not all search engines might honor all option values.
Full copying corresponds to a maximal recomputation distance c_d of 1.
All recomputation performed is based on batch recomputation: batch recomputation performs propagation only once for an entire path used in recomputation.
The number of threads to be used is controlled by a double (assume that
is the number of processing units available). If
,
threads are chosen (of course with rounding). If
, then
threads are chosen (all but
processing units get a thread). If
is zero,
threads are chosen. If
,
threads are chosen. If
,
threads are chosen.
|
inline |
Initialize with default values.
Definition at line 41 of file options.hpp.
Options Gecode::Search::Options::expand | ( | void | ) | const |
Expand with real number of threads.
Definition at line 47 of file options.cpp.
bool Gecode::Search::Options::clone |
double Gecode::Search::Options::threads |
unsigned int Gecode::Search::Options::c_d |
unsigned int Gecode::Search::Options::a_d |
unsigned int Gecode::Search::Options::nogoods_limit |
Stop* Gecode::Search::Options::stop |
Cutoff* Gecode::Search::Options::cutoff |
|
static |