53 return dynamic_cast<T*
>(e->next());
59 return e->statistics();
Search::Statistics statistics(void) const
Return statistics.
#define GECODE_SEARCH_EXPORT
Engine * dfs(Space *s, const Options &o)
Create depth-first engine.
T * dfs(T *s, const Search::Options &o)
Invoke depth-first search engine for subclass T of space s with options o.
bool stopped(void) const
Check whether engine has been stopped.
No-goods recorded from restarts.
T * next(void)
Return next solution (NULL, if none exists or search has been stopped)
Base-class for search engines.
Gecode toplevel namespace
NoGoods & nogoods(void)
Return no-goods.
Depth-first search engine.
DFS(T *s, const Search::Options &o=Search::Options::def)
Initialize search engine for space s with options o.