Generated on Mon Aug 27 2012 17:15:58 for Gecode by doxygen 1.8.1.2
Gecode::Restart< T > Class Template Reference

Depth-first restart best solution search engine. More...

#include <search.hh>

Public Member Functions

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

Detailed Description

template<class T>
class Gecode::Restart< T >

Depth-first restart best solution search engine.

Additionally, s must implement a member function

virtual void constrain(T& t)

Whenever exploration requires to add a constraint to the space c currently being explored, the engine executes c.constrain(t) where t is the so-far best solution.

Definition at line 419 of file search.hh.

Constructor & Destructor Documentation

template<class T >
Gecode::Restart< T >::Restart ( T *  s,
const Search::Options o = Search::Options::def 
)
inline

Initialize engine for space s and options o.

Definition at line 47 of file restart.hpp.

template<class T >
Gecode::Restart< T >::~Restart ( void  )
inline

Destructor.

Definition at line 70 of file restart.hpp.

Member Function Documentation

template<class T >
T * Gecode::Restart< T >::next ( void  )
inline

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

Definition at line 52 of file restart.hpp.

template<class T >
Search::Statistics Gecode::Restart< T >::statistics ( void  ) const
inline

Return statistics.

Definition at line 58 of file restart.hpp.

template<class T >
bool Gecode::Restart< T >::stopped ( void  ) const
inline

Check whether engine has been stopped.

Definition at line 64 of file restart.hpp.


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