Parallel depth-first search engine More...

#include <dfs.hh>

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.
Space *	reset (Space *s)
	Reset engine to restart at space s and return new root space.
Engine interface
	DFS (Space *s, size_t sz, const Options &o)
	Initialize for space s (of size sz) with options o.
virtual Statistics	statistics (void) const
	Return statistics.
virtual	~DFS (void)
	Destructor.

Detailed Description

Parallel depth-first search engine

Definition at line 46 of file dfs.hh.

Constructor & Destructor Documentation

Gecode::Search::Parallel::DFS::DFS	(	Space *	s,
		size_t	sz,
		const Options &	o
	)		`[inline]`

Initialize for space s (of size sz) with options o.

Definition at line 108 of file dfs.hh.

Gecode::Search::Parallel::DFS::~DFS ( void ) [virtual]

Destructor.

Definition at line 167 of file dfs.cpp.

DFS::Worker * Gecode::Search::Parallel::DFS::worker ( unsigned int i ) const [inline]

Provide access to worker i.

Definition at line 96 of file dfs.hh.

void Gecode::Search::Parallel::DFS::solution ( Space * s ) [inline]

Report solution s.

Definition at line 158 of file dfs.hh.

Space * Gecode::Search::Parallel::DFS::reset ( Space * s ) [inline]

Reset engine to restart at space s and return new root space.

Definition at line 146 of file dfs.hh.

Statistics Gecode::Search::Parallel::DFS::statistics ( void ) const [virtual]

Return statistics.

Definition at line 50 of file dfs.cpp.

Array of worker references.

Definition at line 63 of file dfs.hh.

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