Clasp::SequentialSolve Member List

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

doInterrupt()	Clasp::SequentialSolve	[protected, virtual]
doSolve(SharedContext &ctx, const LitVec &assume)	Clasp::SequentialSolve	[protected, virtual]
enableInterrupts()	Clasp::SequentialSolve	[virtual]
enumerator() const	Clasp::SolveAlgorithm	[inline]
enumerator()	Clasp::SolveAlgorithm	[inline, protected]
interrupt()	Clasp::SolveAlgorithm
interrupted() const	Clasp::SequentialSolve	[virtual]
limits() const	Clasp::SolveAlgorithm	[inline]
operator=(const SolveAlgorithm &)	Clasp::SolveAlgorithm	[protected]
reportModel(Solver &s) const	Clasp::SolveAlgorithm	[protected]
resetSolve()	Clasp::SequentialSolve	[virtual]
SequentialSolve(Enumerator *enumerator=0, const SolveLimits &limit=SolveLimits())	Clasp::SequentialSolve	[explicit]
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]
term_	Clasp::SequentialSolve	[private]
~SequentialSolve()	Clasp::SequentialSolve
~SolveAlgorithm()	Clasp::SolveAlgorithm	[virtual]