40 namespace Gecode {
namespace Search {
namespace Seq {
43 template<
class Tracer>
54 virtual Space* next(
void);
58 virtual bool stopped(
void)
const;
63 template<
class Tracer>
65 : tracer(o.tracer), stat(stat0) {
66 tracer.engine(SearchTracer::EngineType::AOE, 1U);
70 template<
class Tracer>
76 template<
class Tracer>
82 template<
class Tracer>
88 template<
class Tracer>
virtual bool stopped(void) const
Check whether engine has been stopped.
Search engine implementation interface
virtual ~Dead(void)
Delete.
#define GECODE_SEARCH_EXPORT
Engine * dead(const Options &o, const Statistics &stat)
Tracer tracer
Search tracer.
SearchTracer * tracer
Tracer object for tracing search.
A dead engine (failed root)
Statistics stat
Statistics.
virtual Statistics statistics(void) const
Return statistics.
Dead(const Options &o, const Statistics &stat0)
Initialize.
Gecode toplevel namespace
virtual Space * next(void)
Return next solution (NULL, if none exists or search has been stopped)