Gecode::Driver::Cutoff Member List
This is the complete list of members for Gecode::Driver::Cutoff, including all inherited members.create(unsigned int node, unsigned int fail, unsigned int time) | Gecode::Driver::Cutoff | [inline, static] |
Stop(void) | Gecode::Search::Stop | [inline] |
stop(const Search::Statistics &s, const Search::Options &o) | Gecode::Driver::Cutoff | [inline, virtual] |
~Cutoff(void) | Gecode::Driver::Cutoff | [inline] |
~Stop(void) | Gecode::Search::Stop | [inline, virtual] |