SMTLIBLoggingSolver Member List

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

BufferString	QueryLoggingSolver	protected
computeInitialValues(const Query &query, const std::vector< const Array * > &objects, std::vector< std::vector< unsigned char > > &values, bool &hasSolution)	QueryLoggingSolver	virtual
computeTruth(const Query &query, bool &isValid)	QueryLoggingSolver	virtual
computeValidity(const Query &query, Solver::Validity &result)	QueryLoggingSolver	virtual
computeValue(const Query &query, ref< Expr > &result)	QueryLoggingSolver	virtual
finishQuery(bool success)	QueryLoggingSolver	protectedvirtual
flushBuffer(void)	QueryLoggingSolver	protected
flushBufferConditionally(bool writeToFile)	QueryLoggingSolver	protected
getConstraintLog(const Query &)	QueryLoggingSolver	virtual
getOperationStatusCode()	QueryLoggingSolver	virtual
getOperationStatusString(SolverRunStatus statusCode)	klee::SolverImpl	static
lastQueryDuration	QueryLoggingSolver	protected
logBuffer	QueryLoggingSolver	protected
logTimedOutQueries	QueryLoggingSolver	protected
minQueryTimeToLog	QueryLoggingSolver	protected
operator=(const SolverImpl &)	klee::SolverImpl	private
os	QueryLoggingSolver	protected
printer	SMTLIBLoggingSolver	private
printQuery(const Query &query, const Query *falseQuery=0, const std::vector< const Array * > *objects=0)	SMTLIBLoggingSolver	inlineprivatevirtual
queryCommentSign	QueryLoggingSolver	protected
queryCount	QueryLoggingSolver	protected
QueryLoggingSolver(Solver *_solver, std::string path, const std::string &commentSign, time::Span queryTimeToLog, bool logTimedOut)	QueryLoggingSolver
setCoreSolverTimeout(time::Span timeout)	QueryLoggingSolver	virtual
SMTLIBLoggingSolver(Solver *_solver, std::string path, time::Span queryTimeToLog, bool logTimedOut)	SMTLIBLoggingSolver	inline
solver	QueryLoggingSolver	protected
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
startQuery(const Query &query, const char *typeName, const Query *falseQuery=0, const std::vector< const Array * > *objects=0)	QueryLoggingSolver	protectedvirtual
startTime	QueryLoggingSolver	protected
~QueryLoggingSolver()	QueryLoggingSolver	virtual
~SolverImpl()	klee::SolverImpl	virtual