CexCachingSolver Member List

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

assignmentsTable	CexCachingSolver	private
assignmentsTable_ty typedef	CexCachingSolver	private
cache	CexCachingSolver	private
CexCachingSolver(Solver *_solver)	CexCachingSolver	inline
computeInitialValues(const Query &, const std::vector< const Array * > &objects, std::vector< std::vector< unsigned char > > &values, bool &hasSolution)	CexCachingSolver	virtual
computeTruth(const Query &, bool &isValid)	CexCachingSolver	virtual
computeValidity(const Query &, Solver::Validity &result)	CexCachingSolver	virtual
computeValue(const Query &, ref< Expr > &result)	CexCachingSolver	virtual
getAssignment(const Query &query, Assignment *&result)	CexCachingSolver	private
getConstraintLog(const Query &query)	CexCachingSolver	virtual
getOperationStatusCode()	CexCachingSolver	virtual
getOperationStatusString(SolverRunStatus statusCode)	klee::SolverImpl	static
lookupAssignment(const Query &query, KeyType &key, Assignment *&result)	CexCachingSolver	private
lookupAssignment(const Query &query, Assignment *&result)	CexCachingSolver	inlineprivate
operator=(const SolverImpl &)	klee::SolverImpl	private
searchForAssignment(KeyType &key, Assignment *&result)	CexCachingSolver	private
setCoreSolverTimeout(time::Span timeout)	CexCachingSolver	virtual
solver	CexCachingSolver	private
SOLVER_RUN_STATUS_FAILURE enum value	klee::SolverImpl
SOLVER_RUN_STATUS_FORK_FAILED enum value	klee::SolverImpl
SOLVER_RUN_STATUS_INTERRUPTED enum value	klee::SolverImpl
SOLVER_RUN_STATUS_SUCCESS_SOLVABLE enum value	klee::SolverImpl
SOLVER_RUN_STATUS_SUCCESS_UNSOLVABLE enum value	klee::SolverImpl
SOLVER_RUN_STATUS_TIMEOUT enum value	klee::SolverImpl
SOLVER_RUN_STATUS_UNEXPECTED_EXIT_CODE enum value	klee::SolverImpl
SOLVER_RUN_STATUS_WAITPID_FAILED enum value	klee::SolverImpl
SolverImpl(const SolverImpl &)	klee::SolverImpl	private
SolverImpl()	klee::SolverImpl	inline
SolverRunStatus enum name	klee::SolverImpl
~CexCachingSolver()	CexCachingSolver
~SolverImpl()	klee::SolverImpl	virtual