Generated on Thu Jul 6 07:07:05 2006 for Gecode by doxygen 1.4.7

Gecode::Search::BabEngine Member List

This is the complete list of members for Gecode::Search::BabEngine, including all inherited members.

_stoppedGecode::Search::EngineCtrl [protected]
BabEngine(unsigned int c_d, unsigned int a_d, Stop *st, size_t sz)Gecode::Search::BabEngine [inline]
cloneGecode::Search::Statistics
commitGecode::Search::Statistics
current(const Space *s)Gecode::Search::EngineCtrl [inline]
EngineCtrl(Stop *st, size_t sz)Gecode::Search::EngineCtrl [inline]
explore(Space *&s1, Space *&s2)Gecode::Search::BabEngine
failGecode::Search::Statistics
init(Space *s)Gecode::Search::BabEngine [inline]
mem_curGecode::Search::EngineCtrl [protected]
mem_spaceGecode::Search::EngineCtrl [protected]
mem_totalGecode::Search::EngineCtrl [protected]
memoryGecode::Search::Statistics
pop(const Space *s)Gecode::Search::EngineCtrl [inline]
pop(const Space *s, const BranchingDesc *d)Gecode::Search::EngineCtrl [inline]
propagateGecode::Search::Statistics
push(const Space *s)Gecode::Search::EngineCtrl [inline]
push(const Space *s, const BranchingDesc *d)Gecode::Search::EngineCtrl [inline]
reset(const Space *s)Gecode::Search::EngineCtrl [inline]
stGecode::Search::EngineCtrl [protected]
stacksize(void) const Gecode::Search::BabEngine [inline]
start(void)Gecode::Search::EngineCtrl [inline]
Statistics(void)Gecode::Search::Statistics [inline]
stop(size_t sz)Gecode::Search::EngineCtrl [inline]
stopped(void) const Gecode::Search::EngineCtrl [inline]
~BabEngine(void)Gecode::Search::BabEngine [inline]