36namespace Gecode {
namespace Search {
namespace Seq {
39 template<
class Tracer>
50 virtual Space* next(
void);
54 virtual bool stopped(
void)
const;
59 template<
class Tracer>
61 : tracer(o.tracer), stat(stat0) {
66 template<
class Tracer>
72 template<
class Tracer>
78 template<
class Tracer>
84 template<
class Tracer>
@ AOE
Unspecified engine (any other engine)
Search engine implementation interface
SearchTracer * tracer
Tracer object for tracing search.
A dead engine (failed root)
Tracer tracer
Search tracer.
Statistics stat
Statistics.
Dead(const Options &o, const Statistics &stat0)
Initialize.
virtual ~Dead(void)
Delete.
virtual Space * next(void)
Return next solution (NULL, if none exists or search has been stopped)
virtual bool stopped(void) const
Check whether engine has been stopped.
virtual Statistics statistics(void) const
Return statistics.
Engine * dead(const Options &o, const Statistics &stat)
Gecode toplevel namespace
#define GECODE_SEARCH_EXPORT