39 #ifndef __GECODE_SEARCH_META_RBS_HH__
40 #define __GECODE_SEARCH_META_RBS_HH__
44 namespace Gecode {
namespace Search {
namespace Meta {
74 virtual bool stopped(
void)
const;
86 : e(e0), master(s), last(NULL), co(co0),
stop(stop0),
Search engine implementation interface
void stop(Support::Timer &timer, std::ostream &os)
Get time since start of timer and print user friendly time information.
Base class for cutoff generators for restart-based meta engine.
const double threads
Number of threads to use.
No-goods recorded from restarts.
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
Gecode toplevel namespace