Gecode::Search::WorkerToEngine< Worker > Class Template Reference
Virtualize a worker to an engine. More...
#include <support.hh>
Public Member Functions | |
WorkerToEngine (Space *s, 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. | |
virtual void | constrain (const Space &b) |
Constrain future solutions to be better than b. | |
virtual void | reset (Space *s) |
Reset engine to restart at space s. | |
virtual NoGoods & | nogoods (void) |
Return no-goods. | |
Protected Attributes | |
Worker | w |
The worker to wrap into an engine. |
Detailed Description
template<class Worker>
class Gecode::Search::WorkerToEngine< Worker >
Virtualize a worker to an engine.
Definition at line 47 of file support.hh.
Constructor & Destructor Documentation
Gecode::Search::WorkerToEngine< Worker >::WorkerToEngine | ( | Space * | s, | |
const Options & | o | |||
) | [inline] |
Initialization.
Definition at line 77 of file support.hh.
Member Function Documentation
Space * Gecode::Search::WorkerToEngine< Worker >::next | ( | void | ) | [inline, virtual] |
Return next solution (NULL, if none exists or search has been stopped).
Implements Gecode::Search::Engine.
Definition at line 81 of file support.hh.
Search::Statistics Gecode::Search::WorkerToEngine< Worker >::statistics | ( | void | ) | const [inline, virtual] |
bool Gecode::Search::WorkerToEngine< Worker >::stopped | ( | void | ) | const [inline, virtual] |
Check whether engine has been stopped.
Implements Gecode::Search::Engine.
Definition at line 91 of file support.hh.
void Gecode::Search::WorkerToEngine< Worker >::constrain | ( | const Space & | b | ) | [inline, virtual] |
Constrain future solutions to be better than b.
Reimplemented from Gecode::Search::Engine.
Definition at line 101 of file support.hh.
void Gecode::Search::WorkerToEngine< Worker >::reset | ( | Space * | s | ) | [inline, virtual] |
Reset engine to restart at space s.
Reimplemented from Gecode::Search::Engine.
Definition at line 96 of file support.hh.
NoGoods & Gecode::Search::WorkerToEngine< Worker >::nogoods | ( | void | ) | [inline, virtual] |
Return no-goods.
Reimplemented from Gecode::Search::Engine.
Definition at line 106 of file support.hh.
Member Data Documentation
Worker Gecode::Search::WorkerToEngine< Worker >::w [protected] |
The worker to wrap into an engine.
Definition at line 50 of file support.hh.
The documentation for this class was generated from the following file:
- gecode/search/support.hh