All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::ExprRangeEvaluator< T > Class Template Referenceabstract

#include <ExprRangeEvaluator.h>

Inheritance diagram for klee::ExprRangeEvaluator< T >:

Public Member Functions

 ExprRangeEvaluator ()
virtual ~ExprRangeEvaluator ()
evaluate (const ref< Expr > &e)

Protected Member Functions

virtual T getInitialReadRange (const Array &os, T index)=0
evalRead (const UpdateList &ul, T index)

Detailed Description

template<class T>
class klee::ExprRangeEvaluator< T >

Definition at line 56 of file ExprRangeEvaluator.h.

Constructor & Destructor Documentation

template<class T>
klee::ExprRangeEvaluator< T >::ExprRangeEvaluator ( )

Definition at line 65 of file ExprRangeEvaluator.h.

template<class T>
virtual klee::ExprRangeEvaluator< T >::~ExprRangeEvaluator ( )

Definition at line 66 of file ExprRangeEvaluator.h.

Member Function Documentation

template<class T>
T klee::ExprRangeEvaluator< T >::evalRead ( const UpdateList ul,
template<class T>
virtual T klee::ExprRangeEvaluator< T >::getInitialReadRange ( const Array os,
protectedpure virtual

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

Implemented in CexRangeEvaluator.

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