All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
CexRangeEvaluator Class Reference
Inheritance diagram for CexRangeEvaluator:
Collaboration diagram for CexRangeEvaluator:

Public Member Functions

 CexRangeEvaluator (std::map< const Array *, CexObjectData * > &_objects)
ValueRange getInitialReadRange (const Array &array, ValueRange index)
- Public Member Functions inherited from klee::ExprRangeEvaluator< ValueRange >
 ExprRangeEvaluator ()
virtual ~ExprRangeEvaluator ()
ValueRange evaluate (const ref< Expr > &e)

Public Attributes

std::map< const Array
*, CexObjectData * > & 

Additional Inherited Members

- Protected Member Functions inherited from klee::ExprRangeEvaluator< ValueRange >
ValueRange evalRead (const UpdateList &ul, ValueRangeindex)

Detailed Description

Definition at line 345 of file FastCexSolver.cpp.

Constructor & Destructor Documentation

CexRangeEvaluator::CexRangeEvaluator ( std::map< const Array *, CexObjectData * > &  _objects)

Definition at line 348 of file FastCexSolver.cpp.

Member Function Documentation

ValueRange CexRangeEvaluator::getInitialReadRange ( const Array os,
ValueRange  index 

getInitialReadRange - Return a range for the initial value of the given array (which may be constant), for the given range of indices.

Implements klee::ExprRangeEvaluator< ValueRange >.

Definition at line 351 of file FastCexSolver.cpp.

References klee::Array::constantValues, klee::Array::isConstantArray(), ValueRange::isFixed(), ValueRange::min(), and klee::Array::size.

Here is the call graph for this function:

Member Data Documentation

std::map<const Array*, CexObjectData*>& CexRangeEvaluator::objects

Definition at line 347 of file FastCexSolver.cpp.

The documentation for this class was generated from the following file: