Gecode::Search::DFS

Gecode::Search::DFS Class Reference

#include <search.hh>

Detailed Description

Depth-first search engine.

This class implements depth-first exploration for spaces. In order to use depth-first search on subclasses of Space, additional functionality providing the necessary typecasts is available in Gecode::DFS.

Definition at line 149 of file search.hh.

Public Member Functions

DFS (Space *s, unsigned int c_d, unsigned int a_d, size_t sz)

Initialize search engine.

~DFS (void)

Destructor.

Statistics statistics (void) const

Return statistics.

Space * next (void)

Return next solution (NULL, if none exists).

Protected Attributes

PlainEngine * e

Engine used for exploration.

Constructor & Destructor Documentation

Gecode::Search::DFS::DFS ( Space * s,

unsigned int c_d,

unsigned int a_d,

size_t sz

)

Initialize search engine.

Parameters:

s root node (subclass of Space)

c_d minimal recomputation distance

a_d adaptive recomputation distance

sz size of one space

Definition at line 32 of file dfs.cc.

Gecode::Search::DFS::~DFS ( void )

Destructor.

Definition at line 49 of file dfs.cc.

Member Function Documentation

Statistics Gecode::Search::DFS::statistics ( void ) const

Return statistics.

Definition at line 59 of file dfs.cc.

Space * Gecode::Search::DFS::next ( void )

Return next solution (NULL, if none exists).

Reimplemented in Gecode::DFS< T >, and Gecode::Restart< T >.
Definition at line 54 of file dfs.cc.

Member Data Documentation

PlainEngine* Gecode::Search::DFS::e [protected]

Engine used for exploration.

Definition at line 152 of file search.hh.

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


Public Member Functions
	DFS (Space *s, unsigned int c_d, unsigned int a_d, size_t sz)
	Initialize search engine.
	~DFS (void)
	Destructor.
Statistics	statistics (void) const
	Return statistics.
Space *	next (void)
	Return next solution (NULL, if none exists).
Protected Attributes
PlainEngine *	e
	Engine used for exploration.