CexRangeEvaluator Class Reference
Inheritance diagram for CexRangeEvaluator:
Collaboration diagram for CexRangeEvaluator:
Public Member Functions | |
| CexRangeEvaluator (std::map< unsigned, CexObjectData > &_objectValues) | |
| ValueRange | getInitialReadRange (const Array &os, ValueRange index) |
Public Attributes | |
| std::map< unsigned, CexObjectData > & | objectValues |
Detailed Description
Definition at line 340 of file FastCexSolver.cpp.
Constructor & Destructor Documentation
| CexRangeEvaluator::CexRangeEvaluator | ( | std::map< unsigned, CexObjectData > & | _objectValues | ) | [inline] |
Definition at line 343 of file FastCexSolver.cpp.
Member Function Documentation
| ValueRange CexRangeEvaluator::getInitialReadRange | ( | const Array & | os, | |
| ValueRange | index | |||
| ) | [inline, virtual] |
Implements klee::ExprRangeEvaluator< ValueRange >.
Definition at line 346 of file FastCexSolver.cpp.
Member Data Documentation
| std::map<unsigned, CexObjectData>& CexRangeEvaluator::objectValues |
Definition at line 342 of file FastCexSolver.cpp.
The documentation for this class was generated from the following file:
- lib/Solver/FastCexSolver.cpp
