Options for Gist More...
#include <gist.hh>
Classes | |
class | _I |
Helper class storing inspectors. More... |
Public Member Functions | |
Options (void) | |
Initialize with default values. | |
![]() | |
Options | expand (void) const |
Expand with real number of threads. |
Public Attributes | |
class Gecode::Gist::Options::_I | inspect |
![]() | |
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) | |
Stop * | stop |
Stop object for stopping search. |
Static Public Attributes | |
static const Options | def |
Default options. | |
![]() |
Options for Gist
Note that the d and stop fields of the Search::Options class are not used by Gist.
|
inline |
Initialize with default values.
Reimplemented from Gecode::Search::Options.
class Gecode::Gist::Options::_I Gecode::Gist::Options::inspect |
|
static |
Default options.
Reimplemented from Gecode::Search::Options.