Generated on Sat Feb 7 2015 02:01:41 for Gecode by doxygen 1.8.9.1
Gecode::RBS< E, T > Class Template Reference

Meta-engine performing restart-based search. More...

#include <search.hh>

Public Member Functions

 RBS (T *s, const Search::Options &o)
 Initialize engine for space s and options o. More...
 
T * next (void)
 Return next solution (NULL, if non exists or search has been stopped) More...
 
Search::Statistics statistics (void) const
 Return statistics. More...
 
bool stopped (void) const
 Check whether engine has been stopped. More...
 

Additional Inherited Members

- Protected Member Functions inherited from Gecode::EngineBase
 ~EngineBase (void)
 Destructor. More...
 
 EngineBase (Search::Engine *e=NULL)
 Constructor. More...
 
- Protected Attributes inherited from Gecode::EngineBase
Search::Enginee
 The actual search engine. More...
 

Detailed Description

template<template< class > class E, class T>
class Gecode::RBS< E, T >

Meta-engine performing restart-based search.

The engine uses the Cutoff sequence supplied in the options o to periodically restart the search of engine E.

The class T can implement member functions

virtual bool master(const CRI& cri)

and

virtual bool slave(const CRI& cri)

Whenever exploration restarts or a solution is found, the engine executes the functions on the master and slave space. For more details, consult "Modeling and Programming with Gecode".

Definition at line 236 of file search.hh.

Constructor & Destructor Documentation

template<template< class > class E, class T >
Gecode::RBS< E, T >::RBS ( T *  s,
const Search::Options o 
)
inline

Initialize engine for space s and options o.

Definition at line 52 of file rbs.hpp.

Member Function Documentation

template<template< class > class E, class T >
T * Gecode::RBS< E, T >::next ( void  )
inline

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

Definition at line 83 of file rbs.hpp.

template<template< class > class E, class T >
Search::Statistics Gecode::RBS< E, T >::statistics ( void  ) const
inline

Return statistics.

Definition at line 89 of file rbs.hpp.

template<template< class > class E, class T >
bool Gecode::RBS< E, T >::stopped ( void  ) const
inline

Check whether engine has been stopped.

Definition at line 95 of file rbs.hpp.


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