Gecode::Search::DFS Class Reference

#include <search.hh>

Inherited by Gecode::DFS< Test::Int::Scheduling::Ass >, and Gecode::DFS< T >.

List of all members.

---

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 417 of file search.hh.

Public Member Functions
	DFS (Space *s, unsigned int c_d, unsigned int a_d, Stop *st, size_t sz)
	Initialize search engine.
Space *	next (void)
	Return next solution (NULL, if none exists or search has been stopped).
Statistics	statistics (void) const
	Return statistics.
bool	stopped (void) const
	Check whether engine has been stopped.
Protected Attributes
DfsEngine	e
	Engine used for exploration.

---

Constructor & Destructor Documentation

Gecode::Search::DFS::DFS	(	Space *	s,
		unsigned int	c_d,
		unsigned int	a_d,
		Stop *	st,
		size_t	sz
	)

Initialize search engine.

Parameters:

	s	root node (subclass of Space)
	c_d	minimal recomputation distance
	a_d	adaptive recomputation distance
	st	Stop-object
	sz	size of one space

Definition at line 47 of file dfs.cc.

---

Member Function Documentation

Space * Gecode::Search::DFS::next

(

void

)

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

Reimplemented in Gecode::DFS< T >, Gecode::Restart< T >, and Gecode::DFS< Test::Int::Scheduling::Ass >.

Definition at line 61 of file dfs.cc.

Statistics Gecode::Search::DFS::statistics

(

void

)

const

Return statistics.

Definition at line 71 of file dfs.cc.

bool Gecode::Search::DFS::stopped

(

void

)

const

Check whether engine has been stopped.

Definition at line 66 of file dfs.cc.

---

Member Data Documentation

DfsEngine Gecode::Search::DFS::e [protected]

Engine used for exploration.

Definition at line 420 of file search.hh.

---

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

• gecode/search.hh (Revision: 7310)
• gecode/search/dfs.cc (Revision: 5916)