Generated on Thu Mar 13 2014 04:39:49 for Gecode by doxygen 1.8.1.2
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.
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

bool _stopped
 Whether engine has been stopped.
size_t mem_space
 Memory required for a single space.
size_t mem_cur
 Memory for the current space (including memory for caching)
size_t mem_total
 Current total memory.
unsigned long int root_depth
 Depth of root node (for work stealing)

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.

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.

Reimplemented from Gecode::Search::Statistics.

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: