Gecode::Search::Par::DFS< Tracer > Class Template Reference

Parallel depth-first search engine More...

#include <dfs.hh>

List of all members.

Classes
class	Worker
	Parallel depth-first search worker More...
Public Member Functions
Worker *	worker (unsigned int i) const
	Provide access to worker i.
Protected Attributes
Worker **	_worker
	Array of worker references.
Search control
void	solution (Space *s)
	Report solution s.
Engine interface
	DFS (Space *s, const Options &o)
	Initialize for space s with options o.
virtual Statistics	statistics (void) const
	Return statistics.
virtual void	reset (Space *s)
	Reset engine to restart at space s.
virtual NoGoods &	nogoods (void)
	Return no-goods.
virtual	~DFS (void)
	Destructor.

---

Detailed Description

template<class Tracer>
class Gecode::Search::Par::DFS< Tracer >

Parallel depth-first search engine

Definition at line 43 of file dfs.hh.

---

Constructor & Destructor Documentation

template<class Tracer >

Gecode::Search::Par::DFS< Tracer >::DFS	(	Space *	s,
		const Options &	o
	)			[inline]

Initialize for space s with options o.

Definition at line 60 of file dfs.hpp.

template<class Tracer >

Gecode::Search::Par::DFS< Tracer >::~DFS

(

void

)

[inline, virtual]

Destructor.

Definition at line 359 of file dfs.hpp.

---

Member Function Documentation

template<class Tracer >

DFS< Tracer >::Worker * Gecode::Search::Par::DFS< Tracer >::worker

(

unsigned int

i

)

const [inline]

Provide access to worker i.

Definition at line 46 of file dfs.hpp.

template<class Tracer >

void Gecode::Search::Par::DFS< Tracer >::solution

(

Space *

s

)

[inline]

Report solution s.

Definition at line 106 of file dfs.hpp.

template<class Tracer >

Statistics Gecode::Search::Par::DFS< Tracer >::statistics

(

void

)

const [inline, virtual]

Return statistics.

Implements Gecode::Search::Engine.

Definition at line 149 of file dfs.hpp.

template<class Tracer >

void Gecode::Search::Par::DFS< Tracer >::reset

(

Space *

s

)

[inline, virtual]

Reset engine to restart at space s.

Reimplemented from Gecode::Search::Engine.

Definition at line 308 of file dfs.hpp.

template<class Tracer >

NoGoods & Gecode::Search::Par::DFS< Tracer >::nogoods

(

void

)

[inline, virtual]

Return no-goods.

Reimplemented from Gecode::Search::Engine.

Definition at line 336 of file dfs.hpp.

---

Member Data Documentation

template<class Tracer >

Worker** Gecode::Search::Par::DFS< Tracer >::_worker [protected]

Array of worker references.

Definition at line 91 of file dfs.hh.

---

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

• gecode/search/par/dfs.hh
• gecode/search/par/dfs.hpp