Generated on Mon Aug 25 11:35:53 2008 for Gecode by doxygen 1.5.6

Gecode::Search::DfsEngine Class Reference

#include <search.hh>

Inherits Gecode::Search::EngineCtrl.

List of all members.


Detailed Description

Depth-first search engine implementation.

Definition at line 376 of file search.hh.


Public Member Functions

 DfsEngine (unsigned int c_d, unsigned int a_d, Stop *st, size_t sz)
 Initialize engine.
void init (Space *s)
 Initialize engine to start at space s.
void reset (Space *s)
 Reset engine to restart at space s.
void reset (void)
 Reset engine to restart at failed space.
Spaceexplore (void)
 Search for next solution
size_t stacksize (void) const
 Return stack size used by engine.
 ~DfsEngine (void)
 Destructor.

Constructor & Destructor Documentation

Gecode::Search::DfsEngine::DfsEngine ( unsigned int  c_d,
unsigned int  a_d,
Stop st,
size_t  sz 
) [inline]

Initialize engine.

Parameters:
c_d minimal recomputation distance
a_d adaptive recomputation distance
st Stop-object
sz size of one space

Definition at line 47 of file dfs.icc.

Gecode::Search::DfsEngine::~DfsEngine ( void   )  [inline]

Destructor.

Definition at line 130 of file dfs.icc.


Member Function Documentation

void Gecode::Search::DfsEngine::init ( Space s  )  [inline]

Initialize engine to start at space s.

Definition at line 53 of file dfs.icc.

void Gecode::Search::DfsEngine::reset ( Space s  )  [inline]

Reset engine to restart at space s.

Definition at line 58 of file dfs.icc.

void Gecode::Search::DfsEngine::reset ( void   )  [inline]

Reset engine to restart at failed space.

Reimplemented from Gecode::Search::EngineCtrl.

Definition at line 67 of file dfs.icc.

Space * Gecode::Search::DfsEngine::explore ( void   )  [inline]

Search for next solution

Definition at line 81 of file dfs.icc.

size_t Gecode::Search::DfsEngine::stacksize ( void   )  const [inline]

Return stack size used by engine.

Definition at line 76 of file dfs.icc.


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