klee
klee::STPSolver Member List

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

evaluate(const Query &, Validity &result)klee::Solver
False enum valueklee::Solver
getConstraintLog(const Query &)klee::STPSolvervirtual
getInitialValues(const Query &, const std::vector< const Array * > &objects, std::vector< std::vector< unsigned char > > &result)klee::Solver
getRange(const Query &)klee::Solvervirtual
getValue(const Query &, ref< ConstantExpr > &result)klee::Solver
implklee::Solver
mayBeFalse(const Query &, bool &result)klee::Solver
mayBeTrue(const Query &, bool &result)klee::Solver
mustBeFalse(const Query &, bool &result)klee::Solver
mustBeTrue(const Query &, bool &result)klee::Solver
operator=(const Solver &)klee::Solverprivate
setCoreSolverTimeout(time::Span timeout)klee::STPSolvervirtual
Solver(const Solver &)klee::Solverprivate
Solver(SolverImpl *_impl)klee::Solverinline
STPSolver(bool useForkedSTP, bool optimizeDivides=true)klee::STPSolver
True enum valueklee::Solver
Unknown enum valueklee::Solver
Validity enum nameklee::Solver
validity_to_str(Validity v)klee::Solverstatic
~Solver()klee::Solvervirtual