36namespace Gecode {
namespace Search {
namespace Seq {
Search engine implementation interface
Engine for restart-based search.
Stop-object for restart engine
Base-class for Stop-object.
Stop * rbsstop(Stop *stop)
Create stop object.
Engine * rbsengine(Space *master, Stop *stop, Engine *slave, const Search::Statistics &stat, const Options &opt, bool best)
Create restart engine.
Gecode toplevel namespace