Generated on Tue Mar 5 2013 22:37:49 for Gecode by doxygen 1.8.3.1
Gecode::Search::Sequential::BAB Class Reference

Implementation of depth-first branch-and-bound search engine. More...

#include <bab.hh>

Public Member Functions

 BAB (Space *s, size_t sz, const Options &o)
 Initialize with space s (of size sz) and search options o. More...
 
Spacenext (void)
 Search for next better solution More...
 
Statistics statistics (void) const
 Return statistics. More...
 
 ~BAB (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...
 

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 Attributes inherited from Gecode::Search::Worker
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...
 

Detailed Description

Implementation of depth-first branch-and-bound search engine.

Definition at line 53 of file bab.hh.

Constructor & Destructor Documentation

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

Initialize with space s (of size sz) and search options o.

Definition at line 79 of file bab.hh.

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

Destructor.

Definition at line 167 of file bab.hh.

Member Function Documentation

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

Search for next better solution

Definition at line 95 of file bab.hh.

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

Return statistics.

Definition at line 160 of file bab.hh.


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