Clasp::SolveAlgorithm Member List

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

doInterrupt()=0	Clasp::SolveAlgorithm	[protected, pure virtual]
doSolve(SharedContext &ctx, const LitVec &assume)=0	Clasp::SolveAlgorithm	[protected, pure virtual]
enableInterrupts()=0	Clasp::SolveAlgorithm	[pure virtual]
enum_	Clasp::SolveAlgorithm	[private]
enumerator() const	Clasp::SolveAlgorithm	[inline]
enumerator()	Clasp::SolveAlgorithm	[inline, protected]
enumLimit_	Clasp::SolveAlgorithm	[private]
interrupt()	Clasp::SolveAlgorithm
interrupted() const =0	Clasp::SolveAlgorithm	[pure virtual]
limits() const	Clasp::SolveAlgorithm	[inline]
limits_	Clasp::SolveAlgorithm	[private]
onModel_	Clasp::SolveAlgorithm	[private]
operator=(const SolveAlgorithm &)	Clasp::SolveAlgorithm	[protected]
reportModel(Solver &s) const	Clasp::SolveAlgorithm	[protected]
resetSolve()=0	Clasp::SolveAlgorithm	[pure virtual]
setEnumerator(Enumerator &e)	Clasp::SolveAlgorithm	[inline]
setEnumLimit(uint64 m)	Clasp::SolveAlgorithm	[inline]
setLimits(const SolveLimits &x)	Clasp::SolveAlgorithm	[inline]
solve(SharedContext &ctx, const LitVec &assume=LitVec(), EventHandler *modelHandler=0)	Clasp::SolveAlgorithm
SolveAlgorithm(Enumerator *enumerator=0, const SolveLimits &limit=SolveLimits())	Clasp::SolveAlgorithm	[explicit]
SolveAlgorithm(const SolveAlgorithm &)	Clasp::SolveAlgorithm	[protected]
~SolveAlgorithm()	Clasp::SolveAlgorithm	[virtual]