next(void) | Gecode::Search::WorkerToEngine | [virtual] |
statistics(void) const | Gecode::Search::WorkerToEngine | [virtual] |
stopped(void) const | Gecode::Search::WorkerToEngine | [virtual] |
w | Gecode::Search::WorkerToEngine | [protected] |
WorkerToEngine(Space *s, size_t sz, const Options &o) | Gecode::Search::WorkerToEngine | |
~Engine(void) | Gecode::Search::Engine | [inline, virtual] |