Gecode::Search::BabReCoEngine Member List
This is the complete list of members for
Gecode::Search::BabReCoEngine, including all inherited members.
| BabEngine(size_t sz) | Gecode::Search::BabEngine | [inline] |
| BabReCoEngine(Space *, unsigned int, unsigned int, size_t) | Gecode::Search::BabReCoEngine | [inline] |
| clone | Gecode::Search::Statistics | |
| commit | Gecode::Search::Statistics | |
| current(const Space *s) | Gecode::Search::FullStatistics | [inline] |
| explore(Space *&, Space *&) | Gecode::Search::BabReCoEngine | [virtual] |
| fail | Gecode::Search::Statistics | |
| FullStatistics(size_t sz) | Gecode::Search::FullStatistics | [inline] |
| mem_cur | Gecode::Search::FullStatistics | |
| mem_space | Gecode::Search::FullStatistics | |
| mem_total | Gecode::Search::FullStatistics | |
| memory | Gecode::Search::Statistics | |
| operator delete(void *, size_t) | Gecode::Search::BabEngine | [inline, static] |
| operator new(size_t) | Gecode::Search::BabEngine | [inline, static] |
| pop(const Space *s) | Gecode::Search::FullStatistics | [inline] |
| pop(const Space *s, const BranchingDesc *d) | Gecode::Search::FullStatistics | [inline] |
| propagate | Gecode::Search::Statistics | |
| push(const Space *s) | Gecode::Search::FullStatistics | [inline] |
| push(const Space *s, const BranchingDesc *d) | Gecode::Search::FullStatistics | [inline] |
| reset(const Space *s) | Gecode::Search::FullStatistics | [inline] |
| stacksize(void) const | Gecode::Search::BabReCoEngine | [virtual] |
| Statistics(void) | Gecode::Search::Statistics | [inline] |
| ~BabEngine(void) | Gecode::Search::BabEngine | [inline, virtual] |
| ~BabReCoEngine(void) | Gecode::Search::BabReCoEngine | [virtual] |