restart.hpp File Reference

(Revision: 9692)

Go to the source code of this file.

Namespaces
namespace	Gecode
namespace	Gecode::Search
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.