next(void) | Gecode::Search::WorkerToEngine< Worker > | [virtual] |
nogoods(void) | Gecode::Search::WorkerToEngine< Worker > | [virtual] |
reset(Space *s) | Gecode::Search::WorkerToEngine< Worker > | [virtual] |
statistics(void) const | Gecode::Search::WorkerToEngine< Worker > | [virtual] |
stopped(void) const | Gecode::Search::WorkerToEngine< Worker > | [virtual] |
w | Gecode::Search::WorkerToEngine< Worker > | [protected] |
WorkerToEngine(Space *s, const Options &o) | Gecode::Search::WorkerToEngine< Worker > | |
~Engine(void) | Gecode::Search::Engine | [inline, virtual] |