Virtualize a worker to an engine. More...
#include <support.hh>
Public Member Functions | |
| WorkerToEngine (Space *s, size_t sz, const Options &o) | |
| Initialization. | |
| virtual Space * | next (void) |
| Return next solution (NULL, if none exists or search has been stopped) | |
| virtual Search::Statistics | statistics (void) const |
| Return statistics. | |
| virtual bool | stopped (void) const |
| Check whether engine has been stopped. | |
Protected Attributes | |
| Worker | w |
Virtualize a worker to an engine.
Definition at line 53 of file support.hh.
| Gecode::Search::WorkerToEngine< Worker >::WorkerToEngine | ( | Space * | s, |
| size_t | sz, | ||
| const Options & | o | ||
| ) |
Initialization.
Definition at line 68 of file support.hh.
| Space * Gecode::Search::WorkerToEngine< Worker >::next | ( | void | ) | [virtual] |
Return next solution (NULL, if none exists or search has been stopped)
Implements Gecode::Search::Engine.
Definition at line 73 of file support.hh.
| Search::Statistics Gecode::Search::WorkerToEngine< Worker >::statistics | ( | void | ) | const [virtual] |
| bool Gecode::Search::WorkerToEngine< Worker >::stopped | ( | void | ) | const [virtual] |
Check whether engine has been stopped.
Implements Gecode::Search::Engine.
Definition at line 83 of file support.hh.
Worker Gecode::Search::WorkerToEngine< Worker >::w [protected] |
Definition at line 55 of file support.hh.