Engine for restart-based search.
More...
#include <rbs.hh>
Engine for restart-based search.
Definition at line 47 of file rbs.hh.
◆ RBS()
Constructor.
Definition at line 81 of file rbs.hh.
◆ ~RBS()
| Gecode::Search::Meta::RBS::~RBS |
( |
void |
| ) |
|
|
virtual |
Destructor.
Definition at line 115 of file rbs.cpp.
◆ next()
| Space * Gecode::Search::Meta::RBS::next |
( |
void |
| ) |
|
|
virtual |
◆ statistics()
◆ stopped()
| bool Gecode::Search::Meta::RBS::stopped |
( |
void |
| ) |
const |
|
virtual |
◆ reset()
| void Gecode::Search::Meta::RBS::reset |
( |
Space * |
s | ) |
|
|
virtual |
◆ nogoods()
| NoGoods & Gecode::Search::Meta::RBS::nogoods |
( |
void |
| ) |
|
|
virtual |
The documentation for this class was generated from the following files: