42 namespace Gecode {
namespace Search {
51 return dynamic_cast<T*
>(
e->
next());
virtual Statistics statistics(void) const =0
Return statistics.
Search engine implementation interface
void rfree(void *p)
Free memory block starting at p.
virtual bool stopped(void) const =0
Check whether engine has been stopped.
void * ralloc(size_t s)
Allocate s bytes from heap.
virtual ~EngineBase(void)
Destructor.
Heap heap
The single global heap.
virtual T * next(void)
Return next solution (NULL, if none exists or search has been stopped)
int p
Number of positive literals for node type.
virtual Statistics statistics(void) const
Return statistics.
Base-class for search engines.
Engine * e
The actual 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)
Gecode toplevel namespace
virtual bool stopped(void) const
Check whether engine has been stopped.
virtual NoGoods & nogoods(void)
Return no-goods (the no-goods are empty)
EngineBase(Engine *e=NULL)
Constructor.