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::Engine *	e
	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:

• gecode/search.hh (Revision: 14336)
• gecode/search/rbs.hpp (Revision: 14262)