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

Gecode::Search::DfsReCoEngine Class Reference

#include <dfs-reco.hh>

Inherits Gecode::Search::PlainEngine.

List of all members.


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 Spaceexplore (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: