Parallel depth-first search worker More...

#include <dfs.hh>

Public Member Functions
	Worker (Space *s, size_t sz, DFS &e)
	Initialize for space s (of size sz) with engine e.
DFS &	engine (void) const
	Provide access to engine.
virtual void	run (void)
	Start execution of worker.
void	find (void)
	Try to find some work.
Space *	reset (Space *s)
	Reset engine to restart at space s and return new root space.

Detailed Description

Parallel depth-first search worker

Definition at line 49 of file dfs.hh.

Constructor & Destructor Documentation

Gecode::Search::Parallel::DFS::Worker::Worker	(	Space *	s,
		size_t	sz,
		DFS &	e
	)		`[inline]`

Initialize for space s (of size sz) with engine e.

Definition at line 105 of file dfs.hh.

DFS & Gecode::Search::Parallel::DFS::Worker::engine ( void ) const [inline]

Provide access to engine.

Definition at line 92 of file dfs.hh.

void Gecode::Search::Parallel::DFS::Worker::run ( void ) [virtual]

Start execution of worker.

Definition at line 62 of file dfs.cpp.

void Gecode::Search::Parallel::DFS::Worker::find ( void ) [inline]

Try to find some work.

Definition at line 174 of file dfs.hh.

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

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

Definition at line 129 of file dfs.hh.

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