Engine for restart-based search.
More...
#include <rbs.hh>
|
| Engine * | e |
| | The actual engine.
|
| Space * | master |
| | The master space to restart from.
|
| Space * | last |
| | The last solution space (possibly NULL)
|
| Cutoff * | co |
| | The cutoff object.
|
| RestartStop * | stop |
| | The stop control object.
|
| unsigned long int | sslr |
| | How many solutions since the last restart.
|
| bool | shared_info |
| | Whether the slave can share info (AFC) with the master.
|
| bool | complete |
| | Whether search for the next solution will be complete.
|
| bool | restart |
| | Whether a restart must be performed when next is called.
|
| bool | best |
| | Whether the engine performs best solution search.
|
Engine for restart-based search.
Definition at line 72 of file rbs.hh.
◆ RBS()
Constructor.
Definition at line 65 of file rbs.hpp.
◆ ~RBS()
| Gecode::Search::Seq::RBS::~RBS |
( |
void | | ) |
|
|
virtual |
Destructor.
Definition at line 150 of file rbs.cpp.
◆ next()
| Space * Gecode::Search::Seq::RBS::next |
( |
void | | ) |
|
|
virtual |
◆ statistics()
◆ stopped()
| bool Gecode::Search::Seq::RBS::stopped |
( |
void | | ) |
const |
|
virtual |
◆ constrain()
| void Gecode::Search::Seq::RBS::constrain |
( |
const Space & | b | ) |
|
|
virtual |
| Engine* Gecode::Search::Seq::RBS::e |
|
protected |
The actual engine.
Definition at line 75 of file rbs.hh.
◆ master
| Space* Gecode::Search::Seq::RBS::master |
|
protected |
The master space to restart from.
Definition at line 77 of file rbs.hh.
◆ last
| Space* Gecode::Search::Seq::RBS::last |
|
protected |
The last solution space (possibly NULL)
Definition at line 79 of file rbs.hh.
◆ co
| Cutoff* Gecode::Search::Seq::RBS::co |
|
protected |
The cutoff object.
Definition at line 81 of file rbs.hh.
◆ stop
The stop control object.
Definition at line 83 of file rbs.hh.
◆ sslr
| unsigned long int Gecode::Search::Seq::RBS::sslr |
|
protected |
How many solutions since the last restart.
Definition at line 85 of file rbs.hh.
◆ shared_info
| bool Gecode::Search::Seq::RBS::shared_info |
|
protected |
Whether the slave can share info (AFC) with the master.
Definition at line 87 of file rbs.hh.
◆ complete
| bool Gecode::Search::Seq::RBS::complete |
|
protected |
Whether search for the next solution will be complete.
Definition at line 89 of file rbs.hh.
◆ restart
| bool Gecode::Search::Seq::RBS::restart |
|
protected |
Whether a restart must be performed when next is called.
Definition at line 91 of file rbs.hh.
◆ best
| bool Gecode::Search::Seq::RBS::best |
|
protected |
Whether the engine performs best solution search.
Definition at line 93 of file rbs.hh.
The documentation for this class was generated from the following files: