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

Protected Attributes

Spaceroot
 Root node.
Spacebest
 So-far best solution.

Additional Inherited Members

- Public Attributes inherited from Gecode::Search::Statistics
unsigned long int fail
 Number of failed nodes in search tree.
unsigned long int node
 Number of nodes expanded.
unsigned long int depth
 Maximum depth of search stack.
size_t memory
 Peak memory allocated.
- Protected Member Functions inherited from Gecode::Search::Sequential::DFS
Spacereset (Space *s)
 Reset engine to restart at space s and return new root.

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)

Reimplemented from Gecode::Search::Sequential::DFS.

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: