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

Depth-first restart best solution search engine implementation. More...

#include <restart.hh>

Public Member Functions

 Restart (Space *s, size_t sz, const Search::Options &o)
 Initialize engine for space s (with size sz) and options o. More...
 
Spacenext (void)
 Return next better solution (NULL, if none exists or search has been stopped) More...
 
 ~Restart (void)
 Destructor. More...
 
- Public Member Functions inherited from Gecode::Search::Sequential::DFS
 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 Attributes

Spaceroot
 Root node. More...
 
Spacebest
 So-far best solution. 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 Member Functions inherited from Gecode::Search::Sequential::DFS
Spacereset (Space *s)
 Reset engine to restart at space s and return new root. More...
 

Detailed Description

Depth-first restart best solution search engine implementation.

Definition at line 46 of file restart.hh.

Constructor & Destructor Documentation

Gecode::Search::Sequential::Restart::Restart ( Space s,
size_t  sz,
const Search::Options o 
)
inline

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

Definition at line 62 of file restart.hh.

Gecode::Search::Sequential::Restart::~Restart ( void  )
inline

Destructor.

Definition at line 80 of file restart.hh.

Member Function Documentation

Space * Gecode::Search::Sequential::Restart::next ( void  )
inline

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

Definition at line 67 of file restart.hh.

Member Data Documentation

Space* Gecode::Search::Sequential::Restart::root
protected

Root node.

Definition at line 49 of file restart.hh.

Space* Gecode::Search::Sequential::Restart::best
protected

So-far best solution.

Definition at line 51 of file restart.hh.


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