Clasp::SolveLimits Member List

This is the complete list of members for Clasp::SolveLimits, including all inherited members.

conflicts	Clasp::SolveLimits
reached() const	Clasp::SolveLimits	[inline]
restarts	Clasp::SolveLimits
SolveLimits(uint64 conf=UINT64_MAX, uint64 r=UINT64_MAX)	Clasp::SolveLimits	[inline, explicit]