41 namespace Gecode {
namespace Search {
namespace Meta {
47 unsigned long int i = stop->m_stat.
restart;
60 Space* slave = master;
61 master = master->
clone(shared);
71 long unsigned int nl = (*co)();
75 Space* slave = master;
76 master = master->
clone(shared);
unsigned long int ng(void) const
Return number of no-goods posted.
Space * clone(bool share=true, CloneStatistics &stat=unused_clone) const
Clone space.
unsigned long int nogood
Number of no-goods posted.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
virtual void constrain(const Space &best)
Constrain function for best solution search.
virtual void reset(Space *s)=0
Reset engine to restart at space s.
virtual NoGoods & nogoods(void)=0
Return no-goods.
No-goods recorded from restarts.
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 void slave(unsigned long int i, const Space *s)
Slave configuration function for restart meta search engine.
virtual void master(unsigned long int i, const Space *s, NoGoods &ng)
Master configuration function for restart meta search engine.
#define GECODE_NEVER
Assert that this command is never executed.
virtual bool stopped(void) const =0
Check whether engine has been stopped.