This is the complete list of members for Gecode::Driver::CombinedStop, including all inherited members.
create(unsigned int node, unsigned int fail, unsigned int time, bool intr) | Gecode::Driver::CombinedStop | inlinestatic |
installCtrlHandler(bool install, bool force=false) | Gecode::Driver::CombinedStop | inlinestatic |
interrupt(int) | Gecode::Driver::CombinedStop | inlinestatic |
operator delete(void *p) | Gecode::Search::Stop | inlinestatic |
operator new(size_t s) | Gecode::Search::Stop | inlinestatic |
reason(const Search::Statistics &s, const Search::Options &o) | Gecode::Driver::CombinedStop | inline |
SR_FAIL enum value | Gecode::Driver::CombinedStop | |
SR_INT enum value | Gecode::Driver::CombinedStop | |
SR_NODE enum value | Gecode::Driver::CombinedStop | |
SR_TIME enum value | Gecode::Driver::CombinedStop | |
stop(const Search::Statistics &s, const Search::Options &o) | Gecode::Driver::CombinedStop | inlinevirtual |
Stop(void) | Gecode::Search::Stop | inline |
~CombinedStop(void) | Gecode::Driver::CombinedStop | inline |
~Stop(void) | Gecode::Search::Stop | inlinevirtual |