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

◆ ExprRangeEvaluator()

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

Definition at line 65 of file ExprRangeEvaluator.h.

◆ ~ExprRangeEvaluator()

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

Definition at line 66 of file ExprRangeEvaluator.h.

Member Function Documentation

◆ evalRead()

template<class T >
T klee::ExprRangeEvaluator< T >::evalRead ( const UpdateList ul,

Definition at line 72 of file ExprRangeEvaluator.h.

References klee::UpdateList::head, and klee::UpdateList::root.

◆ evaluate()

◆ getInitialReadRange()

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: