
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 |