34namespace Gecode {
namespace Search {
38 : clone(Config::clone),
39 threads(Config::threads),
40 c_d(Config::c_d), a_d(Config::a_d),
42 assets(0), slice(Config::slice), nogoods_limit(0),
43 stop(nullptr), cutoff(nullptr), tracer(nullptr) {}
Options(void)
Initialize with default values.
Gecode toplevel namespace