Generated on Thu Feb 14 2013 21:00:08 for Gecode by doxygen 1.8.3.1
Gecode::Search::Sequential::DFS Class Reference

Depth-first search engine implementation. More...

#include <dfs.hh>

Public Member Functions

 DFS (Space *s, size_t sz, const Options &o)
 Initialize for space s (of size sz) with options o. More...
 
Spacenext (void)
 Search for next solution More...
 
Statistics statistics (void) const
 Return statistics. More...
 
 ~DFS (void)
 Destructor. More...
 
- Public Member Functions inherited from Gecode::Search::Worker
 Worker (size_t sz)
 Initialize with space size sz. More...
 
void start (void)
 Reset stop information. More...
 
bool stop (const Options &o, size_t sz)
 Check whether engine must be stopped (with additional stackspace sz) More...
 
bool stopped (void) const
 Check whether engine has been stopped. More...
 
void push (const Space *s, const Choice *c)
 New space s and choice c get pushed on stack. More...
 
void constrained (const Space *s1, const Space *s2)
 Space s1 is replaced by space s2 due to constraining. More...
 
void adapt (const Space *s)
 New space s is added for adaptive recomputation. More...
 
void pop (const Space *s, const Choice *c)
 Space s and choice c get popped from stack. More...
 
void lao (const Space *s)
 Space s gets used for LAO (removed from stack) More...
 
void current (const Space *s)
 Space s becomes current space (s = NULL: current space deleted) More...
 
void reset (const Space *s, unsigned long int d=0)
 Reset statistics for space s with root depth d. More...
 
void reset (void)
 Reset statistics for failed space. More...
 
void stack_depth (unsigned long int d)
 Record stack depth d. More...
 
unsigned long int steal_depth (unsigned long int d) const
 Return steal depth. More...
 
- Public Member Functions inherited from Gecode::Search::Statistics
 Statistics (void)
 Initialize. More...
 
void reset (void)
 Reset. More...
 
Statistics operator+ (const Statistics &s)
 Return sum with s. More...
 
Statisticsoperator+= (const Statistics &s)
 Increment by statistics s. More...
 
- Public Member Functions inherited from Gecode::StatusStatistics
 StatusStatistics (void)
 Initialize. More...
 
void reset (void)
 Reset information. More...
 
StatusStatistics operator+ (const StatusStatistics &s)
 Return sum with s. More...
 
StatusStatisticsoperator+= (const StatusStatistics &s)
 Increment by statistics s. More...
 

Protected Member Functions

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

Additional Inherited Members

- Public Attributes inherited from Gecode::Search::Statistics
unsigned long int fail
 Number of failed nodes in search tree. More...
 
unsigned long int node
 Number of nodes expanded. More...
 
unsigned long int depth
 Maximum depth of search stack. More...
 
size_t memory
 Peak memory allocated. More...
 
- Protected Attributes inherited from Gecode::Search::Worker
bool _stopped
 Whether engine has been stopped. More...
 
size_t mem_space
 Memory required for a single space. More...
 
size_t mem_cur
 Memory for the current space (including memory for caching) More...
 
size_t mem_total
 Current total memory. More...
 
unsigned long int root_depth
 Depth of root node (for work stealing) More...
 

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)
inlineprotected

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

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: