Generated on Fri May 4 2012 13:51:38 for Gecode by doxygen 1.7.6.1
restart.cpp File Reference

(Revision: 9057)

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.