Generated on Fri Mar 20 15:57:08 2015 for Gecode by doxygen 1.6.3
Gecode::Search::Meta::RBS

Gecode::Search::Meta::RBS Class Reference

Engine for restart-based search. More...

#include <rbs.hh>

List of all members.

Public Member Functions

 RBS (Space *s, RestartStop *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 ~RBS (void)
 Destructor.

Protected Attributes

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
 Whether the slave can be shared 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.

Detailed Description

Engine for restart-based search.

Definition at line 80 of file rbs.hh.

Constructor & Destructor Documentation

Gecode::Search::Meta::RBS::RBS ( Space *  s,
RestartStop *  stop0,
Engine *  e0,
const Options &  o 
) [inline]

Constructor.

Definition at line 158 of file rbs.hh.

Gecode::Search::Meta::RBS::~RBS ( void   )  [virtual]

Destructor.

Definition at line 143 of file rbs.cpp.

Member Function Documentation

Space * Gecode::Search::Meta::RBS::next ( void   )  [virtual]

Return next solution (NULL, if none exists or search has been stopped).

Implements Gecode::Search::Engine.

Definition at line 66 of file rbs.cpp.

Search::Statistics Gecode::Search::Meta::RBS::statistics ( void   )  const [virtual]

Return statistics.

Implements Gecode::Search::Engine.

Definition at line 127 of file rbs.cpp.

bool Gecode::Search::Meta::RBS::stopped ( void   )  const [virtual]

Check whether engine has been stopped.

Implements Gecode::Search::Engine.

Definition at line 132 of file rbs.cpp.

Member Data Documentation

Engine* Gecode::Search::Meta::RBS::e [protected]

The actual engine.

Definition at line 83 of file rbs.hh.

Space* Gecode::Search::Meta::RBS::master [protected]

The master space to restart from.

Definition at line 85 of file rbs.hh.

Space* Gecode::Search::Meta::RBS::last [protected]

The last solution space (possibly NULL).

Definition at line 87 of file rbs.hh.

Cutoff* Gecode::Search::Meta::RBS::co [protected]

The cutoff object.

Definition at line 89 of file rbs.hh.

RestartStop* Gecode::Search::Meta::RBS::stop [protected]

The stop control object.

Definition at line 91 of file rbs.hh.

unsigned long int Gecode::Search::Meta::RBS::sslr [protected]

How many solutions since the last restart.

Definition at line 93 of file rbs.hh.

bool Gecode::Search::Meta::RBS::shared [protected]

Whether the slave can be shared with the master.

Definition at line 95 of file rbs.hh.

bool Gecode::Search::Meta::RBS::complete [protected]

Whether search for the next solution will be complete.

Definition at line 97 of file rbs.hh.

bool Gecode::Search::Meta::RBS::restart [protected]

Whether a restart must be performed when next is called.

Definition at line 99 of file rbs.hh.

The documentation for this class was generated from the following files: