Search engine options More...
#include <search.hh>
Public Member Functions | |
Options (void) | |
Initialize with default values. | |
Options | expand (void) const |
Expand with real number of threads. | |
Public Attributes | |
bool | clone |
Whether engines create a clone when being initialized. | |
double | threads |
Number of threads to use. | |
unsigned int | c_d |
Create a clone after every c_d commits (commit distance) | |
unsigned int | a_d |
Create a clone during recomputation if distance is greater than a_d (adaptive distance) | |
unsigned int | nogoods_limit |
Depth limit for extraction of no-goods. | |
Stop * | stop |
Stop object for stopping search. | |
Cutoff * | cutoff |
Cutoff for restart-based search. | |
Static Public Attributes | |
static const Options | def |
Default options. |
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.
Gecode::Search::Options::Options | ( | void | ) | [inline] |
Initialize with default values.
Reimplemented in Gecode::Gist::Options.
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.
unsigned int Gecode::Search::Options::c_d |
unsigned int Gecode::Search::Options::a_d |
unsigned int Gecode::Search::Options::nogoods_limit |
const Options Gecode::Search::Options::def [static] |