42 namespace Gecode {
namespace Search {
51 return dynamic_cast<T*
>(e->next());
Search engine implementation interface
void rfree(void *p)
Free memory block starting at p.
void * ralloc(size_t s)
Allocate s bytes from heap.
Heap heap
The single global heap.
int p
Number of positive literals for node type.
Base-class for search engines.
No-goods recorded from restarts.
virtual Statistics statistics(void) const
Return statistics.
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.