39 #ifndef __GECODE_SEARCH_META_RBS_HH__
40 #define __GECODE_SEARCH_META_RBS_HH__
44 namespace Gecode {
namespace Search {
namespace Meta {
71 virtual bool stopped(
void)
const;
83 : e(e0), master(s), co(co0),
stop(stop0),
Search engine implementation interface
#define GECODE_SEARCH_EXPORT
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