Gecode::Search::Sequential::DFS Class Reference

Depth-first search engine implementation. More...

#include <dfs.hh>

List of all members.

Public Member Functions
	DFS (Space *s, const Options &o)
	Initialize for space s with options o.
Space *	next (void)
	Search for next solution
Statistics	statistics (void) const
	Return statistics.
void	reset (Space *s)
	Reset engine to restart at space s.
NoGoods &	nogoods (void)
	Return no-goods.
	~DFS (void)
	Destructor.

---

Detailed Description

Depth-first search engine implementation.

Definition at line 49 of file dfs.hh.

---

Constructor & Destructor Documentation

Gecode::Search::Sequential::DFS::DFS	(	Space *	s,
		const Options &	o
	)			[inline]

Initialize for space s with options o.

Definition at line 75 of file dfs.hh.

Gecode::Search::Sequential::DFS::~DFS

(

void

)

[inline]

Destructor.

Definition at line 176 of file dfs.hh.

---

Member Function Documentation

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

(

void

)

[inline]

Search for next solution

Definition at line 107 of file dfs.hh.

Statistics Gecode::Search::Sequential::DFS::statistics

(

void

)

const [inline]

Return statistics.

Definition at line 171 of file dfs.hh.

void Gecode::Search::Sequential::DFS::reset

(

Space *

s

)

[inline]

Reset engine to restart at space s.

Definition at line 88 of file dfs.hh.

NoGoods & Gecode::Search::Sequential::DFS::nogoods

(

void

)

[inline]

Return no-goods.

Definition at line 102 of file dfs.hh.

---

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

• gecode/search/sequential/dfs.hh (Revision: 14471)