Generated on Thu Feb 21 2013 23:12:01 for Gecode by doxygen 1.8.3.1
Gecode::Search::Worker Class Reference

Search worker control including memory information More...

#include <worker.hh>

Public Member Functions

 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

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...
 

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...
 

Detailed Description

Search worker control including memory information

Definition at line 48 of file worker.hh.

Constructor & Destructor Documentation

Gecode::Search::Worker::Worker ( size_t  sz)
inline

Initialize with space size sz.

Definition at line 94 of file worker.hh.

Member Function Documentation

void Gecode::Search::Worker::start ( void  )
inline

Reset stop information.

Definition at line 101 of file worker.hh.

bool Gecode::Search::Worker::stop ( const Options o,
size_t  sz 
)
inline

Check whether engine must be stopped (with additional stackspace sz)

Definition at line 106 of file worker.hh.

bool Gecode::Search::Worker::stopped ( void  ) const
inline

Check whether engine has been stopped.

Definition at line 116 of file worker.hh.

void Gecode::Search::Worker::push ( const Space s,
const Choice c 
)
inline

New space s and choice c get pushed on stack.

Definition at line 121 of file worker.hh.

void Gecode::Search::Worker::constrained ( const Space s1,
const Space s2 
)
inline

Space s1 is replaced by space s2 due to constraining.

Definition at line 137 of file worker.hh.

void Gecode::Search::Worker::adapt ( const Space s)
inline

New space s is added for adaptive recomputation.

Definition at line 130 of file worker.hh.

void Gecode::Search::Worker::pop ( const Space s,
const Choice c 
)
inline

Space s and choice c get popped from stack.

Definition at line 150 of file worker.hh.

void Gecode::Search::Worker::lao ( const Space s)
inline

Space s gets used for LAO (removed from stack)

Definition at line 145 of file worker.hh.

void Gecode::Search::Worker::current ( const Space s)
inline

Space s becomes current space (s = NULL: current space deleted)

Definition at line 157 of file worker.hh.

void Gecode::Search::Worker::reset ( const Space s,
unsigned long int  d = 0 
)
inline

Reset statistics for space s with root depth d.

Definition at line 170 of file worker.hh.

void Gecode::Search::Worker::reset ( void  )
inline

Reset statistics for failed space.

Definition at line 181 of file worker.hh.

void Gecode::Search::Worker::stack_depth ( unsigned long int  d)
inline

Record stack depth d.

Definition at line 188 of file worker.hh.

unsigned long int Gecode::Search::Worker::steal_depth ( unsigned long int  d) const
inline

Return steal depth.

Definition at line 194 of file worker.hh.

Member Data Documentation

bool Gecode::Search::Worker::_stopped
protected

Whether engine has been stopped.

Definition at line 51 of file worker.hh.

size_t Gecode::Search::Worker::mem_space
protected

Memory required for a single space.

Definition at line 53 of file worker.hh.

size_t Gecode::Search::Worker::mem_cur
protected

Memory for the current space (including memory for caching)

Definition at line 55 of file worker.hh.

size_t Gecode::Search::Worker::mem_total
protected

Current total memory.

Definition at line 57 of file worker.hh.

unsigned long int Gecode::Search::Worker::root_depth
protected

Depth of root node (for work stealing)

Definition at line 59 of file worker.hh.


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