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)) {
110 long unsigned int nl = ++(*co);
unsigned long int ng(void) const
Return number of no-goods posted.
virtual bool master(const CRI &cri)
Master configuration function for restart meta search engine.
Space * clone(bool share=true, CloneStatistics &stat=unused_clone) const
Clone space.
virtual void reset(Space *s)
Reset engine to restart at space s (does nothing)
unsigned long int fail
Number of failed nodes in search tree.
unsigned long int nogood
Number of no-goods posted.
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.
virtual NoGoods & nogoods(void)
Return no-goods (the no-goods are empty)
virtual Space * next(void)=0
Return next solution (NULL, if none exists or search has been stopped)
SpaceStatus status(StatusStatistics &stat=unused_status)
Query space status.
unsigned long int restart
Number of restarts.
virtual Statistics statistics(void) const =0
Return statistics.
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.
virtual bool stopped(void) const =0
Check whether engine has been stopped.