38 #ifndef __GECODE_SEARCH_META_RBS_HH__ 39 #define __GECODE_SEARCH_META_RBS_HH__ 43 namespace Gecode {
namespace Search {
namespace Meta {
49 template<
class,
template<
class>
class>
friend class ::Gecode::RBS;
50 friend class ::Gecode::Search::Meta::RBS;
66 void limit(
const Statistics& s,
unsigned long int l);
70 bool enginestopped(
void)
const;
105 virtual Space* next(
void);
109 virtual bool stopped(
void)
const;
111 virtual void constrain(
const Space&
b);
Search engine implementation interface
#define GECODE_SEARCH_EXPORT
Base class for cutoff generators for restart-based meta engine.
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
Gecode toplevel namespace
Base-class for Stop-object.