39 namespace Gecode {
namespace Search {
namespace Meta {
43 :
l(0), m_stop(s), e_stopped(false) {}
72 : e(e0), master(s), last(NULL), co(opt.cutoff),
stop(stop0),
74 shared_data(opt.
threads <= 1.0), shared_info(opt.share_rbs),
75 complete(true), restart(false), best(best0) {
Search engine implementation interface
const double threads
Number of threads to use.
Gecode toplevel namespace
Base-class for Stop-object.