Generated on Sat Nov 11 01:12:22 2006 for Gecode by doxygen 1.5.1

Gecode::Search::DFS Class Reference

#include <search.hh>

Inherited by Gecode::DFS< T >.

List of all members.


Detailed Description

Depth-first search engine.

This class implements depth-first exploration for spaces. In order to use depth-first search on subclasses of Space, additional functionality providing the necessary typecasts is available in Gecode::DFS.

Definition at line 357 of file search.hh.

Public Member Functions

 DFS (Space *s, unsigned int c_d, unsigned int a_d, Stop *st, size_t sz)
 Initialize search engine.
Spacenext (void)
 Return next solution (NULL, if none exists or search has been stopped).
Statistics statistics (void) const
 Return statistics.
bool stopped (void) const
 Check whether engine has been stopped.

Protected Attributes

DfsEngine e
 Engine used for exploration.


Constructor & Destructor Documentation

Gecode::Search::DFS::DFS ( Space s,
unsigned int  c_d,
unsigned int  a_d,
Stop st,
size_t  sz 
)

Initialize search engine.

Parameters:
s root node (subclass of Space)
c_d minimal recomputation distance
a_d adaptive recomputation distance
st Stop-object
sz size of one space

Definition at line 31 of file dfs.cc.


Member Function Documentation

Space * Gecode::Search::DFS::next ( void   ) 

Return next solution (NULL, if none exists or search has been stopped).

Reimplemented in Gecode::DFS< T >, and Gecode::Restart< T >.

Definition at line 45 of file dfs.cc.

Statistics Gecode::Search::DFS::statistics ( void   )  const

Return statistics.

Definition at line 55 of file dfs.cc.

bool Gecode::Search::DFS::stopped ( void   )  const

Check whether engine has been stopped.

Definition at line 50 of file dfs.cc.


Member Data Documentation

Engine used for exploration.

Definition at line 360 of file search.hh.


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