restart.hpp File Reference
(Revision: 9692)
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace | |
namespace | Gecode::Search |
Search engines | |
Functions | |
Engine * | Gecode::Search::restart (Space *s, size_t sz, const Options &o) |
Create restart engine. | |
template<class T > | |
T * | Gecode::restart (T *s, const Search::Options &o=Search::Options::def) |
Perform depth-first restart best solution search for subclass T of space s and options o. |