klee
klee::AssignmentValidatingSolver Member List

This is the complete list of members for klee::AssignmentValidatingSolver, including all inherited members.

AssignmentValidatingSolver(Solver *_solver)klee::AssignmentValidatingSolverinline
computeInitialValues(const Query &, const std::vector< const Array * > &objects, std::vector< std::vector< unsigned char > > &values, bool &hasSolution)klee::AssignmentValidatingSolvervirtual
computeTruth(const Query &, bool &isValid)klee::AssignmentValidatingSolvervirtual
computeValidity(const Query &, Solver::Validity &result)klee::AssignmentValidatingSolvervirtual
computeValue(const Query &, ref< Expr > &result)klee::AssignmentValidatingSolvervirtual
dumpAssignmentQuery(const Query &query, const Assignment &assignment)klee::AssignmentValidatingSolverprivate
getConstraintLog(const Query &)klee::AssignmentValidatingSolvervirtual
getOperationStatusCode()klee::AssignmentValidatingSolvervirtual
getOperationStatusString(SolverRunStatus statusCode)klee::SolverImplstatic
operator=(const SolverImpl &)klee::SolverImplprivate
setCoreSolverTimeout(time::Span timeout)klee::AssignmentValidatingSolvervirtual
solverklee::AssignmentValidatingSolverprivate
SOLVER_RUN_STATUS_FAILURE enum valueklee::SolverImpl
SOLVER_RUN_STATUS_FORK_FAILED enum valueklee::SolverImpl
SOLVER_RUN_STATUS_INTERRUPTED enum valueklee::SolverImpl
SOLVER_RUN_STATUS_SUCCESS_SOLVABLE enum valueklee::SolverImpl
SOLVER_RUN_STATUS_SUCCESS_UNSOLVABLE enum valueklee::SolverImpl
SOLVER_RUN_STATUS_TIMEOUT enum valueklee::SolverImpl
SOLVER_RUN_STATUS_UNEXPECTED_EXIT_CODE enum valueklee::SolverImpl
SOLVER_RUN_STATUS_WAITPID_FAILED enum valueklee::SolverImpl
SolverImpl(const SolverImpl &)klee::SolverImplprivate
SolverImpl()klee::SolverImplinline
SolverRunStatus enum nameklee::SolverImpl
~AssignmentValidatingSolver()klee::AssignmentValidatingSolverinline
~SolverImpl()klee::SolverImplvirtual