Generated on Tue Sep 25 2012 20:53:26 for Gecode by doxygen 1.7.5
Gecode::Restart Member List
This is the complete list of members for Gecode::Restart, including all inherited members.
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]