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