42 namespace Gecode {
namespace Search {
51 return dynamic_cast<T*
>(e->next());
Search engine implementation interface
Base-class for search engines.
virtual Statistics statistics(void) const
Return statistics.
Base(Engine *e=NULL)
Constructor.
virtual bool stopped(void) const
Check whether engine has been stopped.
Gecode toplevel namespace