Gecode::Restart< T > Class Template Reference
Depth-first restart best solution search engine. More...
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. |
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.
Constructor & Destructor Documentation
|Gecode::Restart< T >::Restart||(||T *||s,|
|const Search::Options &|| o = |
Member Function Documentation
|T * Gecode::Restart< T >::next||(||void||)||
|bool Gecode::Restart< T >::stopped||(||void||)|| const
The documentation for this class was generated from the following files: