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, bool intr) | Gecode::Driver::Cutoff | inlinestatic |
installCtrlHandler(bool install, bool force=false) | Gecode::Driver::Cutoff | inlinestatic |
interrupt(int) | Gecode::Driver::Cutoff | inlinestatic |
reason(const Search::Statistics &s, const Search::Options &o) | Gecode::Driver::Cutoff | inline |
SR_FAIL enum value | Gecode::Driver::Cutoff | |
SR_INT enum value | Gecode::Driver::Cutoff | |
SR_NODE enum value | Gecode::Driver::Cutoff | |
SR_TIME enum value | Gecode::Driver::Cutoff | |
Stop(void) | Gecode::Search::Stop | inline |
stop(const Search::Statistics &s, const Search::Options &o) | Gecode::Driver::Cutoff | inlinevirtual |
~Cutoff(void) | Gecode::Driver::Cutoff | inline |
~Stop(void) | Gecode::Search::Stop | inlinevirtual |