41 namespace Gecode {
namespace Search {
namespace Meta {
52 if ((m_stop != NULL) && m_stop->
stop(m_stat+s,o)) {
68 MetaInfo mi(
stop->m_stat.restart,sslr,e->statistics().fail,last,ng);
69 bool r = master->master(mi);
70 stop->m_stat.nogood += ng.
ng();
72 stop->update(e->statistics());
78 stop->update(e->statistics());
79 Space* slave = master;
80 master = master->
clone(shared_data,shared_info);
81 complete = slave->
slave(mi);
84 stop->m_stat.restart++;
95 }
else if ( (!complete && !e->stopped()) ||
96 (e->stopped() &&
stop->enginestopped()) ) {
102 MetaInfo mi(
stop->m_stat.restart,sslr,e->statistics().fail,last,ng);
103 (void) master->master(mi);
104 stop->m_stat.nogood += ng.
ng();
105 long unsigned int nl = ++(*co);
106 stop->limit(e->statistics(),nl);
109 Space* slave = master;
110 master = master->
clone(shared_data,shared_info);
111 complete = slave->
slave(mi);
123 return stop->metastatistics()+e->statistics();
129 throw NoBest(
"RBS::constrain");
unsigned long int fail
Number of failed nodes in search tree.
Space * clone(bool share_data=true, bool share_info=true, CloneStatistics &stat=unused_clone) const
Clone space.
int n
Number of negative literals for node type.
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.
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.
unsigned long int ng(void) const
Return number of no-goods posted.
struct Gecode::@554::NNF::@60::@61 b
For binary nodes (and, or, eqv)
#define GECODE_NEVER
Assert that this command is never executed.