Generated on Wed Nov 5 2014 05:18:45 for Gecode by doxygen 1.7.6.1
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, Cutoff *co0, MetaStop *stop0, Engine *e0, const Options &o)
 Constructor.
virtual Spacenext (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 NoGoodsnogoods (void)
 Return no-goods.
virtual ~RBS (void)
 Destructor.

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 81 of file rbs.hh.

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

Destructor.

Definition at line 115 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.

Return statistics.

Implements Gecode::Search::Engine.

Definition at line 88 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 93 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 105 of file rbs.cpp.

Return no-goods.

Implements Gecode::Search::Engine.

Definition at line 111 of file rbs.cpp.


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