Virtualize a worker to an engine. More...
#include <support.hh>
Public Member Functions | |
WorkerToEngine (Space *s, const Options &o) | |
Initialization. More... | |
virtual Space * | next (void) |
Return next solution (NULL, if none exists or search has been stopped) More... | |
virtual Search::Statistics | statistics (void) const |
Return statistics. More... | |
virtual bool | stopped (void) const |
Check whether engine has been stopped. More... | |
virtual void | reset (Space *s) |
Reset engine to restart at space s. More... | |
virtual NoGoods & | nogoods (void) |
Return no-goods. More... | |
![]() | |
virtual | ~Engine (void) |
Destructor. More... | |
Protected Attributes | |
Worker | w |
The worker to wrap into an engine. More... | |
Virtualize a worker to an engine.
Definition at line 51 of file support.hh.
Gecode::Search::WorkerToEngine< Worker >::WorkerToEngine | ( | Space * | s, |
const Options & | o | ||
) |
Initialization.
Definition at line 79 of file support.hh.
|
virtual |
Return next solution (NULL, if none exists or search has been stopped)
Implements Gecode::Search::Engine.
Definition at line 83 of file support.hh.
|
virtual |
|
virtual |
Check whether engine has been stopped.
Implements Gecode::Search::Engine.
Definition at line 93 of file support.hh.
|
virtual |
Reset engine to restart at space s.
Implements Gecode::Search::Engine.
Definition at line 98 of file support.hh.
|
virtual |
|
protected |
The worker to wrap into an engine.
Definition at line 54 of file support.hh.