Generated on Tue Sep 25 2012 20:53:26 for Gecode by doxygen 1.7.5
Gecode::Restart Class Reference

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

#include <search.hh>

List of all members.

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

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.


Constructor & Destructor Documentation

Gecode::Restart::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.

Gecode::Restart::~Restart ( void  ) [inline]

Destructor.

Definition at line 70 of file restart.hpp.


Member Function Documentation

T * Gecode::Restart::next ( void  ) [inline]

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

Definition at line 52 of file restart.hpp.

Search::Statistics Gecode::Restart::statistics ( void  ) const [inline]

Return statistics.

Definition at line 58 of file restart.hpp.

bool Gecode::Restart::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: