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... | |
| Space * | next (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... | |
| Statistics & | operator+= (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... | |
| StatusStatistics & | operator+= (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... | |
|
inline |
|
inline |
|
inline |