Generated on Wed Nov 5 2014 05:18:40 for Gecode by doxygen 1.7.6.1
Gecode::RBS< E, T > Class Template Reference

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

#include <search.hh>

List of all members.

Public Member Functions

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

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 void master(unsigned long int i, const Space* s) 

and

 virtual void slave(unsigned long int i, const Space* s) 

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 579 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 79 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 85 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 91 of file rbs.hpp.


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