| 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] |
| lookupAssignment(const Query &query, Assignment *&result) | CexCachingSolver | [private] |
| searchForAssignment(KeyType &key, Assignment *&result) | CexCachingSolver | [private] |
| solver | CexCachingSolver | [private] |
| SolverImpl() | klee::SolverImpl | [inline] |
| ~CexCachingSolver() | CexCachingSolver | |
| ~SolverImpl() | klee::SolverImpl | [virtual] |
1.5.8