Gecode::Search::DfsReCoEngine Class Reference

#include <dfs-reco.hh>

Detailed Description

Recomputing depth-first engine implementation.

Definition at line 34 of file dfs-reco.hh.

Public Member Functions

DfsReCoEngine (Space *, unsigned int, unsigned int, size_t)

virtual void reset (Space *)

Reset engine to restart a space s.

virtual size_t stacksize (void) const

Return stack size used by engine.

virtual ~DfsReCoEngine (void)

virtual Space * explore (void)

Search for next solution

Constructor & Destructor Documentation

Gecode::Search::DfsReCoEngine::DfsReCoEngine ( Space * ,

unsigned int,

unsigned int,

size_t

) [inline]

Definition at line 25 of file dfs-reco.icc.

Gecode::Search::DfsReCoEngine::~DfsReCoEngine ( void ) [virtual]

Definition at line 26 of file dfs-reco.cc.

Member Function Documentation

void Gecode::Search::DfsReCoEngine::reset ( Space * ) [virtual]

Reset engine to restart a space s.

Implements Gecode::Search::PlainEngine.
Definition at line 32 of file dfs-reco.cc.

size_t Gecode::Search::DfsReCoEngine::stacksize ( void ) const [virtual]

Return stack size used by engine.

Implements Gecode::Search::PlainEngine.
Definition at line 41 of file dfs-reco.cc.

Space * Gecode::Search::DfsReCoEngine::explore ( void ) [virtual]

Search for next solution

Implements Gecode::Search::PlainEngine.
Definition at line 46 of file dfs-reco.cc.

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


Public Member Functions
	DfsReCoEngine (Space *, unsigned int, unsigned int, size_t)
virtual void	reset (Space *)
	Reset engine to restart a space s.
virtual size_t	stacksize (void) const
	Return stack size used by engine.
virtual	~DfsReCoEngine (void)
virtual Space *	explore (void)
	Search for next solution