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),
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.