CexConstifier Class Reference
Inheritance diagram for CexConstifier:
Collaboration diagram for CexConstifier:
Public Member Functions | |
| CexConstifier (std::map< unsigned, CexObjectData > &_objectValues) | |
Public Attributes | |
| std::map< unsigned, CexObjectData > & | objectValues |
Protected Member Functions | |
| ref< Expr > | getInitialValue (const Array &array, unsigned index) |
Detailed Description
Definition at line 351 of file FastCexSolver.cpp.
Constructor & Destructor Documentation
| CexConstifier::CexConstifier | ( | std::map< unsigned, CexObjectData > & | _objectValues | ) | [inline] |
Definition at line 371 of file FastCexSolver.cpp.
Member Function Documentation
| ref<Expr> CexConstifier::getInitialValue | ( | const Array & | array, | |
| unsigned | index | |||
| ) | [inline, protected, virtual] |
Implements klee::ExprEvaluator.
Definition at line 353 of file FastCexSolver.cpp.
References klee::Array::id, ValueRange::max(), ValueRange::min(), and objectValues.
Here is the call graph for this function:
Member Data Documentation
| std::map<unsigned, CexObjectData>& CexConstifier::objectValues |
The documentation for this class was generated from the following file:
- lib/Solver/FastCexSolver.cpp
