53 return dynamic_cast<T*>(e->next());
#define GECODE_SEARCH_EXPORT
Engine * dfs(Space *s, const Options &o)
Create depth-first engine.
Search::Statistics statistics(void) const
Return statistics.
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.
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.