Home
last modified time | relevance | path

Searched refs:TimingSolver (Results 1 – 10 of 10) sorted by relevance

/dports/security/klee/klee-2.2/lib/Core/
H A DTimingSolver.cpp26 bool TimingSolver::evaluate(const ConstraintSet &constraints, ref<Expr> expr, in evaluate()
47 bool TimingSolver::mustBeTrue(const ConstraintSet &constraints, ref<Expr> expr, in mustBeTrue()
67 bool TimingSolver::mustBeFalse(const ConstraintSet &constraints, ref<Expr> expr, in mustBeFalse()
72 bool TimingSolver::mayBeTrue(const ConstraintSet &constraints, ref<Expr> expr, in mayBeTrue()
81 bool TimingSolver::mayBeFalse(const ConstraintSet &constraints, ref<Expr> expr, in mayBeFalse()
90 bool TimingSolver::getValue(const ConstraintSet &constraints, ref<Expr> expr, in getValue()
111 bool TimingSolver::getInitialValues( in getInitialValues()
129 TimingSolver::getRange(const ConstraintSet &constraints, ref<Expr> expr, in getRange()
H A DAddressSpace.h23 class TimingSolver; variable
53 int checkPointerInObject(ExecutionState &state, TimingSolver *solver,
86 TimingSolver *solver,
98 TimingSolver *solver,
H A DSeedInfo.h22 class TimingSolver; variable
45 TimingSolver *solver);
H A DTimingSolver.h27 class TimingSolver {
38 TimingSolver(Solver *_solver, bool _simplifyExprs = true)
H A DAddressSpace.cpp78 TimingSolver *solver, in resolveOne()
172 TimingSolver *solver, ref<Expr> p, in checkPointerInObject()
207 bool AddressSpace::resolve(ExecutionState &state, TimingSolver *solver, in resolve()
H A DExecutor.h77 class TimingSolver; variable
129 TimingSolver *solver;
H A DSeedInfo.cpp64 TimingSolver *solver) { in patchSeed()
H A DMemory.h239 void flushToConcreteStore(TimingSolver *solver,
H A DMemory.cpp195 void ObjectState::flushToConcreteStore(TimingSolver *solver, in flushToConcreteStore()
H A DExecutor.cpp481 this->solver = new TimingSolver(solver, EqualitySubstitution);