Generated on Thu Mar 22 10:39:59 2012 for Gecode by doxygen 1.6.3

Gecode::Search::Sequential::DFS Class Reference

Depth-first search engine implementation. More...

#include <dfs.hh>

List of all members.

Public Member Functions

 DFS (Space *s, size_t sz, const Options &o)
 Initialize for space s (of size sz) with options o.
Spacenext (void)
 Search for next solution
Statistics statistics (void) const
 Return statistics.
 ~DFS (void)
 Destructor.

Protected Member Functions

Spacereset (Space *s)
 Reset engine to restart at space s and return new root.

Detailed Description

Depth-first search engine implementation.

Definition at line 49 of file dfs.hh.


Constructor & Destructor Documentation

Gecode::Search::Sequential::DFS::DFS ( Space s,
size_t  sz,
const Options o 
) [inline]

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

Definition at line 74 of file dfs.hh.

Gecode::Search::Sequential::DFS::~DFS ( void   )  [inline]

Destructor.

Definition at line 167 of file dfs.hh.


Member Function Documentation

Space * Gecode::Search::Sequential::DFS::reset ( Space s  )  [inline, protected]

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

Definition at line 90 of file dfs.hh.

Space * Gecode::Search::Sequential::DFS::next ( void   )  [inline]

Search for next solution

Reimplemented in Gecode::Search::Sequential::Restart.

Definition at line 106 of file dfs.hh.

Statistics Gecode::Search::Sequential::DFS::statistics ( void   )  const [inline]

Return statistics.

Definition at line 160 of file dfs.hh.


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