Clasp::SearchLimits Member List
This is the complete list of members for Clasp::SearchLimits, including all inherited members.
conflictsClasp::SearchLimits
dynamicClasp::SearchLimits
hasDynamicRestart() const Clasp::SearchLimits [inline]
learntsClasp::SearchLimits
localClasp::SearchLimits
memLimitClasp::SearchLimits
reached() const Clasp::SearchLimits [inline]
SearchLimits(uint64 conf=UINT64_MAX)Clasp::SearchLimits [inline, explicit]
setMemLimit(uint32 limitInMB)Clasp::SearchLimits [inline]

clasp
Author(s): Benjamin Kaufmann
autogenerated on Thu Aug 27 2015 12:41:41