36 namespace Gecode {
namespace Search {
namespace Seq {
46 return new RBS(master,static_cast<RestartStop*>(stop), slave,
Search engine implementation interface
void stop(Support::Timer &timer, std::ostream &os)
Get time since start of timer and print user friendly time information.
Engine * rbsengine(Space *master, Stop *stop, Engine *slave, const Search::Statistics &stat, const Options &opt, bool best)
Create restart engine.
Stop-object for restart engine
Stop * rbsstop(Stop *stop)
Create stop object.
Gecode toplevel namespace
Base-class for Stop-object.
Engine for restart-based search.