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 | d_l |
Discrepancy limit (for LDS) | |
unsigned int | assets |
Number of assets (engines) in a portfolio. | |
unsigned int | slice |
Size of a slice in a portfolio (in number of failures) | |
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. | |
SearchTracer * | tracer |
Tracer object for tracing 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
|
inline |
Initialize with default values.
Definition at line 37 of file options.hpp.
Options Gecode::Search::Options::expand | ( | void | ) | const |
Expand with real number of threads.
Definition at line 43 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::d_l |
unsigned int Gecode::Search::Options::assets |
unsigned int Gecode::Search::Options::slice |
unsigned int Gecode::Search::Options::nogoods_limit |
Stop* Gecode::Search::Options::stop |
Cutoff* Gecode::Search::Options::cutoff |
SearchTracer* Gecode::Search::Options::tracer |
|
static |