Gecode::Restart< T > Member List
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] |