37 namespace Gecode {
namespace Search {
namespace Seq {
48 if ((m_stop != NULL) && m_stop->
stop(m_stat+s,o)) {
63 MetaInfo mi(
stop->m_stat.restart,sslr,e->statistics().fail,last,ng);
64 bool r = master->master(mi);
65 stop->m_stat.nogood += ng.
ng();
67 stop->update(e->statistics());
73 stop->update(e->statistics());
74 Space* slave = master;
75 master = master->
clone();
76 complete = slave->
slave(mi);
79 stop->m_stat.restart++;
90 }
else if ( (!complete && !e->stopped()) ||
91 (e->stopped() &&
stop->enginestopped()) ) {
97 MetaInfo mi(
stop->m_stat.restart,sslr,e->statistics().fail,last,ng);
98 (void) master->master(mi);
99 stop->m_stat.nogood += ng.
ng();
100 long unsigned int nl = ++(*co);
101 stop->limit(e->statistics(),nl);
104 Space* slave = master;
105 master = master->
clone();
106 complete = slave->
slave(mi);
118 return stop->metastatistics()+e->statistics();
124 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.
struct Gecode::@593::NNF::@62::@63 b
For binary nodes (and, or, eqv)
virtual bool slave(const MetaInfo &mi)
Slave configuration function for meta search engines.
Post propagator for SetVar SetOpType SetVar SetRelType r
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.