41 namespace Gecode {
namespace Search {
namespace Meta {
84 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.
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.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
virtual void reset(Space *s)=0
Reset engine to restart at space s.
virtual NoGoods & nogoods(void)=0
Return no-goods.
virtual bool slave(const CRI &cri)
Slave configuration function for restart meta search engine.
No-goods recorded from restarts.
virtual Space * next(void)=0
Return next solution (NULL, if none exists or search has been stopped)
static NoGoods eng
Empty no-goods.
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
#define GECODE_NEVER
Assert that this command is never executed.
virtual bool stopped(void) const =0
Check whether engine has been stopped.