41 namespace Gecode {
namespace Search {
namespace Seq {
52 if ((m_stop != NULL) && m_stop->
stop(m_stat+s,o)) {
67 MetaInfo mi(
stop->m_stat.restart,sslr,e->statistics().fail,last,ng);
68 bool r = master->master(mi);
69 stop->m_stat.nogood += ng.
ng();
71 stop->update(e->statistics());
77 stop->update(e->statistics());
78 Space* slave = master;
79 master = master->
clone();
80 complete = slave->
slave(mi);
83 stop->m_stat.restart++;
94 }
else if ( (!complete && !e->stopped()) ||
95 (e->stopped() &&
stop->enginestopped()) ) {
101 MetaInfo mi(
stop->m_stat.restart,sslr,e->statistics().fail,last,ng);
102 (void) master->master(mi);
103 stop->m_stat.nogood += ng.
ng();
104 long unsigned int nl = ++(*co);
105 stop->limit(e->statistics(),nl);
108 Space* slave = master;
109 master = master->
clone();
110 complete = slave->
slave(mi);
122 return stop->metastatistics()+e->statistics();
128 throw NoBest(
"RBS::constrain");
virtual bool stop(const Statistics &s, const Options &o)
Return true if meta engine must be stopped.
unsigned long int fail
Number of failed nodes in search tree.
virtual Statistics statistics(void) const
Return statistics.
virtual Space * next(void)
Return next solution (NULL, if none exists or search has been stopped)
int n
Number of negative literals for node type.
virtual bool stopped(void) const
Check whether engine has been stopped.
Space * clone(CloneStatistics &stat=unused_clone) const
Clone space.
virtual void constrain(const Space &best)
Constrain function for best solution search.
virtual bool slave(const MetaInfo &mi)
Slave configuration function for meta search engines.
Post propagator for SetVar SetOpType SetVar SetRelType r
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
No-goods recorded from restarts.
unsigned long int restart
Number of restarts.
Exception: Best solution search is not supported
Gecode toplevel namespace
virtual bool stop(const Statistics &s, const Options &o)=0
Stop search, if returns true.
virtual ~RBS(void)
Destructor.
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.
#define GECODE_NEVER
Assert that this command is never executed.