Generated on Sat Feb 7 2015 02:01:50 for Gecode by doxygen 1.8.9.1
Gecode::Search::Meta::RBS Class Reference

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. More...
 
virtual Spacenext (void)
 Return next solution (NULL, if none exists or search has been stopped) More...
 
virtual Search::Statistics statistics (void) const
 Return statistics. More...
 
virtual bool stopped (void) const
 Check whether engine has been stopped. More...
 
virtual void reset (Space *s)
 Reset engine to restart at space s. More...
 
virtual NoGoodsnogoods (void)
 Return no-goods. More...
 
virtual ~RBS (void)
 Destructor. More...
 
- Public Member Functions inherited from Gecode::Search::Engine
virtual ~Engine (void)
 Destructor. More...
 

Protected Attributes

Enginee
 The actual engine. More...
 
Spacemaster
 The master space to restart from. More...
 
Spacelast
 The last solution space (possibly NULL) More...
 
Cutoffco
 The cutoff object. More...
 
MetaStopstop
 The stop control object. More...
 
bool shared
 Whether the slave can be shared with the master. More...
 
unsigned long int sslr
 How many solutions since the last restart. More...
 
bool complete
 Whether search for the next solution will be complete. More...
 

Detailed Description

Engine for restart-based search.

Definition at line 47 of file rbs.hh.

Constructor & Destructor Documentation

Gecode::Search::Meta::RBS::RBS ( Space s,
Cutoff co0,
MetaStop stop0,
Engine e0,
const Options o 
)
inline

Constructor.

Definition at line 84 of file rbs.hh.

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

Destructor.

Definition at line 126 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 44 of file rbs.cpp.

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

Return statistics.

Implements Gecode::Search::Engine.

Definition at line 101 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 106 of file rbs.cpp.

void Gecode::Search::Meta::RBS::reset ( Space s)
virtual

Reset engine to restart at space s.

Implements Gecode::Search::Engine.

Definition at line 118 of file rbs.cpp.

NoGoods & Gecode::Search::Meta::RBS::nogoods ( void  )
virtual

Return no-goods.

Implements Gecode::Search::Engine.

Definition at line 122 of file rbs.cpp.

Member Data Documentation

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

The actual engine.

Definition at line 50 of file rbs.hh.

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

The master space to restart from.

Definition at line 52 of file rbs.hh.

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

The last solution space (possibly NULL)

Definition at line 54 of file rbs.hh.

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

The cutoff object.

Definition at line 56 of file rbs.hh.

MetaStop* Gecode::Search::Meta::RBS::stop
protected

The stop control object.

Definition at line 58 of file rbs.hh.

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

Whether the slave can be shared with the master.

Definition at line 60 of file rbs.hh.

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

How many solutions since the last restart.

Definition at line 62 of file rbs.hh.

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

Whether search for the next solution will be complete.

Definition at line 64 of file rbs.hh.


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