47 return dynamic_cast<T*
>(
e->next());
52 return e->statistics();
Base(Engine *e=NULL)
Constructor.
virtual bool stopped(void) const
Check whether engine has been stopped.
virtual T * next(void)
Return next solution (NULL, if none exists or search has been stopped)
virtual Statistics statistics(void) const
Return statistics.
virtual ~Base(void)
Destructor.
Engine * e
The actual search engine.
Search engine implementation interface
Gecode toplevel namespace