operator delete(void *p) | Gecode::Search::Stop | [inline, static] |
operator new(size_t s) | Gecode::Search::Stop | [inline, static] |
stop(const Statistics &s, const Options &o)=0 | Gecode::Search::Stop | [pure virtual] |
Stop(void) | Gecode::Search::Stop | [inline] |
~Stop(void) | Gecode::Search::Stop | [inline, virtual] |