enginestop(void) const | Gecode::Search::MetaStop | [inline] |
enginestopped(void) const | Gecode::Search::MetaStop | [inline] |
limit(const Search::Statistics &s, unsigned long int l) | Gecode::Search::MetaStop | [inline] |
metastatistics(void) const | Gecode::Search::MetaStop | [inline] |
MetaStop(Stop *s) | Gecode::Search::MetaStop | [inline] |
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) | Gecode::Search::MetaStop | [virtual] |
Stop(void) | Gecode::Search::Stop | [inline] |
update(const Search::Statistics &s) | Gecode::Search::MetaStop | [inline] |
~MetaStop(void) | Gecode::Search::MetaStop | [inline] |
~Stop(void) | Gecode::Search::Stop | [inline, virtual] |