Depth-first search engine. More...

#include <search.hh>

Public Member Functions
	DFS (T *s, const Search::Options &o=Search::Options::def)
	Initialize search engine for space s with options o. More...

T *	next (void)
	Return next solution (NULL, if none exists or search has been stopped) More...

Search::Statistics	statistics (void) const
	Return statistics. More...

bool	stopped (void) const
	Check whether engine has been stopped. More...

NoGoods &	nogoods (void)
	Return no-goods. More...

Additional Inherited Members
Protected Member Functions inherited from Gecode::EngineBase
	~EngineBase (void)
	Destructor. More...

	EngineBase (Search::Engine *e=NULL)
	Constructor. More...

Protected Attributes inherited from Gecode::EngineBase
Search::Engine *	e
	The actual search engine. More...

Detailed Description

Depth-first search engine.

This class supports depth-first search for subclasses T of Space.

Definition at line 489 of file search.hh.

Constructor & Destructor Documentation

template<class T>

inline

Initialize search engine for space s with options o.

Definition at line 47 of file dfs.hpp.

template<class T >

T * Gecode::DFS< T >::next ( void )

inline

Return next solution (NULL, if none exists or search has been stopped)

Definition at line 52 of file dfs.hpp.

template<class T >

Search::Statistics Gecode::DFS< T >::statistics ( void ) const

inline

Return statistics.

Definition at line 58 of file dfs.hpp.

template<class T >

bool Gecode::DFS< T >::stopped ( void ) const

inline

Check whether engine has been stopped.

Definition at line 64 of file dfs.hpp.

template<class T >

NoGoods & Gecode::DFS< T >::nogoods ( void )

inline

Return no-goods.

Definition at line 70 of file dfs.hpp.

The documentation for this class was generated from the following files: