next(void) | Gecode::Restart | [inline] |
Restart(T *s, const Search::Options &o=Search::Options::def) | Gecode::Restart | [inline] |
statistics(void) const | Gecode::Restart | [inline] |
stopped(void) const | Gecode::Restart | [inline] |
~Restart(void) | Gecode::Restart | [inline] |