41 namespace Gecode {
namespace Search {
namespace Meta {
51 if (e_stop->
stop(s,o)) {
57 if ((m_stop != NULL) && m_stop->
stop(m_stat+s,o)) {
73 CRI cri(
stop->m_stat.restart,sslr,e->statistics().fail,last,ng);
74 bool r = master->master(cri);
75 stop->m_stat.nogood += ng.
ng();
77 stop->update(e->statistics());
83 stop->update(e->statistics());
84 Space* slave = master;
86 complete = slave->
slave(cri);
89 stop->m_stat.restart++;
100 }
else if ( (!complete && !e->stopped()) ||
101 (e->stopped() &&
stop->enginestopped()) ) {
107 CRI cri(
stop->m_stat.restart,sslr,e->statistics().fail,last,ng);
108 (void) master->master(cri);
109 stop->m_stat.nogood += ng.
ng();
110 long unsigned int nl = ++(*co);
111 stop->limit(e->statistics(),nl);
114 Space* slave = master;
116 complete = slave->
slave(cri);
128 return stop->metastatistics()+e->statistics();
unsigned long int ng(void) const
Return number of no-goods posted.
Space * clone(bool share=true, CloneStatistics &stat=unused_clone) const
Clone space.
Current restart information during search.
int n
Number of negative literals for node type.
virtual bool stop(const Statistics &s, const Options &o)
Return true if failure limit is exceeded.
virtual bool slave(const CRI &cri)
Slave configuration function for restart meta search engine.
No-goods recorded from restarts.
unsigned long int restart
Number of restarts.
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
Gecode toplevel namespace
virtual bool stop(const Statistics &s, const Options &o)=0
Stop search, if returns true.
#define GECODE_NEVER
Assert that this command is never executed.