38 #ifndef __GECODE_SEARCH_META_RBS_HH__
39 #define __GECODE_SEARCH_META_RBS_HH__
43 namespace Gecode {
namespace Search {
namespace Meta {
49 template<
template<
class>
class,
class>
friend class ::Gecode::RBS;
50 friend class ::Gecode::Search::Meta::RBS;
70 Stop* enginestop(
void)
const;
72 bool enginestopped(
void)
const;
104 virtual Space* next(
void);
108 virtual bool stopped(
void)
const;
120 : e_stop(new
FailStop(0)), m_stop(s), e_stopped(false) {}
160 : e(e0), master(s), last(NULL), co(opt.cutoff),
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.
unsigned long int limit(void) const
Return current limit.
const double threads
Number of threads to use.
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
Base-class for Stop-object.
Stop-object based on number of failures