CachingSolver Member List

This is the complete list of members for CachingSolver, including all inherited members.

cache	CachingSolver	[private]
cache_map typedef	CachingSolver	[private]
cacheInsert(const Query &query, IncompleteSolver::PartialValidity result)	CachingSolver	[private]
cacheLookup(const Query &query, IncompleteSolver::PartialValidity &result)	CachingSolver	[private]
CachingSolver(Solver *s)	CachingSolver	[inline]
canonicalizeQuery(ref< Expr > originalQuery, bool &negationUsed)	CachingSolver	[private]
computeInitialValues(const Query &query, const std::vector< const Array * > &objects, std::vector< std::vector< unsigned char > > &values, bool &hasSolution)	CachingSolver	[inline, virtual]
computeTruth(const Query &, bool &isValid)	CachingSolver	[virtual]
computeValidity(const Query &, Solver::Validity &result)	CachingSolver	[virtual]
computeValue(const Query &query, ref< Expr > &result)	CachingSolver	[inline, virtual]
solver	CachingSolver	[private]
SolverImpl()	klee::SolverImpl	[inline]
~CachingSolver()	CachingSolver	[inline]
~SolverImpl()	klee::SolverImpl	[virtual]