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, bool intr)	Gecode::Driver::Cutoff	[inline, static]
installCtrlHandler(bool install, bool force=false)	Gecode::Driver::Cutoff	[inline, static]
interrupt(int)	Gecode::Driver::Cutoff	[inline, static]
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	[inline, virtual]
~Cutoff(void)	Gecode::Driver::Cutoff	[inline]
~Stop(void)	Gecode::Search::Stop	[inline, virtual]