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]