This is the complete list of members for Gecode::Restart< T >, including all inherited members.
next(void) | Gecode::Restart< T > | inline |
Restart(T *s, const Search::Options &o=Search::Options::def) | Gecode::Restart< T > | inline |
statistics(void) const | Gecode::Restart< T > | inline |
stopped(void) const | Gecode::Restart< T > | inline |
~Restart(void) | Gecode::Restart< T > | inline |