Generated on Sat Jan 20 2018 22:21:25 for Gecode by doxygen 1.8.13
Gecode::Search::Sequential::Probe Class Reference

Probe engine for LDS More...

#include <lds.hh>

Classes

class  Node
 Node in the search tree for LDS More...
 

Public Member Functions

 Probe (void)
 Initialize. More...
 
void init (Space *s)
 Initialize with space s. More...
 
void reset (Space *s, unsigned int d)
 Reset with space s and discrepancy d. More...
 
Statistics statistics (void) const
 Return statistics. More...
 
 ~Probe (void)
 Destructor. More...
 
Spacenext (const Options &o)
 Search for next solution More...
 
bool done (void) const
 Test whether probing is done. More...
 
- Public Member Functions inherited from Gecode::Search::Worker
 Worker (void)
 Initialize. More...
 
void start (void)
 Reset stop information. More...
 
bool stop (const Options &o)
 Check whether engine must be stopped. More...
 
bool stopped (void) const
 Check whether engine has been stopped. More...
 
void reset (unsigned long int d=0)
 Reset statistics with root depth d. 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

Support::DynamicStack< Node, Heapds
 Stack storing current path in search tree More...
 
Spacecur
 Current space. More...
 
unsigned int d
 Current discrepancy. More...
 
bool exhausted
 Whether entire search space has been exhausted. More...
 
- Protected Attributes inherited from Gecode::Search::Worker
bool _stopped
 Whether engine has been stopped. More...
 
unsigned long int root_depth
 Depth of root node (for work stealing) 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...
 
unsigned long int restart
 Number of restarts. More...
 
unsigned long int nogood
 Number of no-goods posted. More...
 
- Public Attributes inherited from Gecode::StatusStatistics
unsigned long int propagate
 Number of propagator executions. More...
 

Detailed Description

Probe engine for LDS

Definition at line 48 of file lds.hh.

Constructor & Destructor Documentation

◆ Probe()

Gecode::Search::Sequential::Probe::Probe ( void  )
inline

Initialize.

Definition at line 170 of file lds.hh.

◆ ~Probe()

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

Destructor.

Definition at line 198 of file lds.hh.

Member Function Documentation

◆ init()

void Gecode::Search::Sequential::Probe::init ( Space s)
inline

Initialize with space s.

Definition at line 174 of file lds.hh.

◆ reset()

void Gecode::Search::Sequential::Probe::reset ( Space s,
unsigned int  d 
)
inline

Reset with space s and discrepancy d.

Definition at line 179 of file lds.hh.

◆ statistics()

Statistics Gecode::Search::Sequential::Probe::statistics ( void  ) const
inline

Return statistics.

Definition at line 188 of file lds.hh.

◆ next()

Space * Gecode::Search::Sequential::Probe::next ( const Options o)
inline

Search for next solution

Definition at line 205 of file lds.hh.

◆ done()

bool Gecode::Search::Sequential::Probe::done ( void  ) const
inline

Test whether probing is done.

Definition at line 193 of file lds.hh.

Member Data Documentation

◆ ds

Support::DynamicStack<Node,Heap> Gecode::Search::Sequential::Probe::ds
protected

Stack storing current path in search tree

Definition at line 74 of file lds.hh.

◆ cur

Space* Gecode::Search::Sequential::Probe::cur
protected

Current space.

Definition at line 76 of file lds.hh.

◆ d

unsigned int Gecode::Search::Sequential::Probe::d
protected

Current discrepancy.

Definition at line 78 of file lds.hh.

◆ exhausted

bool Gecode::Search::Sequential::Probe::exhausted
protected

Whether entire search space has been exhausted.

Definition at line 80 of file lds.hh.


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