Engine for restart-based search. More...
#include <rbs.hh>
Public Member Functions | |
RBS (Space *s, Cutoff *co0, MetaStop *stop0, Engine *e0, const Options &o) | |
Constructor. | |
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 | reset (Space *s) |
Reset engine to restart at space s. | |
virtual NoGoods & | nogoods (void) |
Return no-goods. | |
virtual | ~RBS (void) |
Destructor. |
Gecode::Search::Meta::RBS::~RBS | ( | void | ) | [virtual] |
Space * Gecode::Search::Meta::RBS::next | ( | void | ) | [virtual] |
Return next solution (NULL, if none exists or search has been stopped)
Implements Gecode::Search::Engine.
Search::Statistics Gecode::Search::Meta::RBS::statistics | ( | void | ) | const [virtual] |
bool Gecode::Search::Meta::RBS::stopped | ( | void | ) | const [virtual] |
Check whether engine has been stopped.
Implements Gecode::Search::Engine.
void Gecode::Search::Meta::RBS::reset | ( | Space * | s | ) | [virtual] |
Reset engine to restart at space s.
Implements Gecode::Search::Engine.
NoGoods & Gecode::Search::Meta::RBS::nogoods | ( | void | ) | [virtual] |