41 namespace Gecode {
namespace Search {
46 #ifdef GECODE_HAS_THREADS
Search engine implementation interface
void stop(Support::Timer &timer, std::ostream &os)
Get time since start of timer and print user friendly time information.
Cutoff * cutoff
Cutoff for restart-based search.
Options expand(void) const
Expand with real number of threads.
Gecode toplevel namespace
Engine * rbs(Space *s, MetaStop *stop, Engine *e, const Options &o)