next(void)=0 | Gecode::Search::Engine | [pure virtual] |
nogoods(void)=0 | Gecode::Search::Engine | [pure virtual] |
reset(Space *s)=0 | Gecode::Search::Engine | [pure virtual] |
statistics(void) const =0 | Gecode::Search::Engine | [pure virtual] |
stopped(void) const =0 | Gecode::Search::Engine | [pure virtual] |
~Engine(void) | Gecode::Search::Engine | [inline, virtual] |