Generated on Wed Jan 4 17:49:23 2006 for Gecode by doxygen 1.4.6

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 149 of file search.hh.

Public Member Functions

 DFS (Space *s, unsigned int c_d, unsigned int a_d, size_t sz)
 Initialize search engine.
 ~DFS (void)
 Destructor.
Statistics statistics (void) const
 Return statistics.
Spacenext (void)
 Return next solution (NULL, if none exists).

Protected Attributes

PlainEnginee
 Engine used for exploration.


Constructor & Destructor Documentation

Gecode::Search::DFS::DFS Space s,
unsigned int  c_d,
unsigned int  a_d,
size_t  sz
 

Initialize search engine.

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

Definition at line 32 of file dfs.cc.

Gecode::Search::DFS::~DFS void   ) 
 

Destructor.

Definition at line 49 of file dfs.cc.


Member Function Documentation

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

Return statistics.

Definition at line 59 of file dfs.cc.

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

Return next solution (NULL, if none exists).

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

Definition at line 54 of file dfs.cc.


Member Data Documentation

PlainEngine* Gecode::Search::DFS::e [protected]
 

Engine used for exploration.

Definition at line 152 of file search.hh.


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