37namespace Gecode {
namespace Search {
namespace Seq {
48 if ((m_stop != NULL) && m_stop->
stop(m_stat+s,o)) {
100 long unsigned int nl = ++(*co);
124 throw NoBest(
"RBS::constrain");
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
int n
Number of negative literals for node type.
No-goods recorded from restarts.
unsigned long int ng(void) const
Return number of no-goods posted.
virtual void constrain(const Space &b)
Constrain future solutions to be better than b (raises exception)
virtual Statistics statistics(void) const =0
Return statistics.
virtual Space * next(void)=0
Return next solution (NULL, if none exists or search has been stopped)
virtual void reset(Space *s)
Reset engine to restart at space s (does nothing)
virtual bool stopped(void) const =0
Check whether engine has been stopped.
virtual NoGoods & nogoods(void)
Return no-goods (the no-goods are empty)
Exception: Best solution search is not supported
RestartStop * stop
The stop control object.
virtual Space * next(void)
Return next solution (NULL, if none exists or search has been stopped)
bool best
Whether the engine performs best solution search.
Space * master
The master space to restart from.
bool restart
Whether a restart must be performed when next is called.
bool complete
Whether search for the next solution will be complete.
Engine * e
The actual engine.
virtual bool stopped(void) const
Check whether engine has been stopped.
virtual void constrain(const Space &b)
Constrain future solutions to be better than b.
Space * last
The last solution space (possibly NULL)
unsigned long int sslr
How many solutions since the last restart.
Cutoff * co
The cutoff object.
virtual ~RBS(void)
Destructor.
virtual Statistics statistics(void) const
Return statistics.
Statistics metastatistics(void) const
Return statistics for the meta engine.
void update(const Search::Statistics &s)
Update statistics.
virtual bool stop(const Statistics &s, const Options &o)
Return true if meta engine must be stopped.
void limit(const Statistics &s, unsigned long int l)
Set current limit for the engine to l fails.
bool enginestopped(void) const
Return whether the engine has been stopped.
unsigned long int restart
Number of restarts.
unsigned long int fail
Number of failed nodes in search tree.
unsigned long int nogood
Number of no-goods posted.
virtual bool stop(const Statistics &s, const Options &o)=0
Stop search, if returns true.
virtual bool slave(const MetaInfo &mi)
Slave configuration function for meta search engines.
virtual void constrain(const Space &best)
Constrain function for best solution search.
virtual bool master(const MetaInfo &mi)
Master configuration function for meta search engines.
SpaceStatus status(StatusStatistics &stat=unused_status)
Query space status.
Space * clone(CloneStatistics &stat=unused_clone) const
Clone space.
@ SS_FAILED
Space is failed
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
#define GECODE_NEVER
Assert that this command is never executed.