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

#include <ArrayExprHash.h>

Inheritance diagram for klee::ArrayExprHash< T >:

Public Member Functions

 ArrayExprHash ()
 
virtual ~ArrayExprHash ()
 
bool lookupArrayExpr (const Array *array, T &exp) const
 
void hashArrayExpr (const Array *array, T &exp)
 
bool lookupUpdateNodeExpr (const UpdateNode *un, T &exp) const
 
void hashUpdateNodeExpr (const UpdateNode *un, T &exp)
 

Protected Types

typedef
std::tr1::unordered_map< const
Array *, T, ArrayHashFn,
ArrayCmpFn
ArrayHash
 
typedef ArrayHash::iterator ArrayHashIter
 
typedef ArrayHash::const_iterator ArrayHashConstIter
 
typedef
std::tr1::unordered_map< const
UpdateNode *, T,
UpdateNodeHashFn,
UpdateNodeCmpFn
UpdateNodeHash
 
typedef UpdateNodeHash::iterator UpdateNodeHashIter
 
typedef
UpdateNodeHash::const_iterator 
UpdateNodeHashConstIter
 

Protected Attributes

ArrayHash _array_hash
 
UpdateNodeHash _update_node_hash
 

Detailed Description

template<class T>
class klee::ArrayExprHash< T >

Definition at line 47 of file ArrayExprHash.h.

Member Typedef Documentation

template<class T>
typedef std::tr1::unordered_map<const Array*, T, ArrayHashFn, ArrayCmpFn> klee::ArrayExprHash< T >::ArrayHash
protected

Definition at line 63 of file ArrayExprHash.h.

template<class T>
typedef ArrayHash::const_iterator klee::ArrayExprHash< T >::ArrayHashConstIter
protected

Definition at line 65 of file ArrayExprHash.h.

template<class T>
typedef ArrayHash::iterator klee::ArrayExprHash< T >::ArrayHashIter
protected

Definition at line 64 of file ArrayExprHash.h.

template<class T>
typedef std::tr1::unordered_map<const UpdateNode*, T, UpdateNodeHashFn, UpdateNodeCmpFn> klee::ArrayExprHash< T >::UpdateNodeHash
protected

Definition at line 67 of file ArrayExprHash.h.

template<class T>
typedef UpdateNodeHash::const_iterator klee::ArrayExprHash< T >::UpdateNodeHashConstIter
protected

Definition at line 69 of file ArrayExprHash.h.

template<class T>
typedef UpdateNodeHash::iterator klee::ArrayExprHash< T >::UpdateNodeHashIter
protected

Definition at line 68 of file ArrayExprHash.h.

Constructor & Destructor Documentation

template<class T>
klee::ArrayExprHash< T >::ArrayExprHash ( )
inline

Definition at line 50 of file ArrayExprHash.h.

template<class T>
virtual klee::ArrayExprHash< T >::~ArrayExprHash ( )
inlinevirtual

Definition at line 54 of file ArrayExprHash.h.

Member Function Documentation

template<class T>
void klee::ArrayExprHash< T >::hashArrayExpr ( const Array array,
T &  exp 
)

Definition at line 94 of file ArrayExprHash.h.

Referenced by klee::STPBuilder::getInitialArray().

Here is the caller graph for this function:

template<class T>
void klee::ArrayExprHash< T >::hashUpdateNodeExpr ( const UpdateNode un,
T &  exp 
)

Definition at line 123 of file ArrayExprHash.h.

Referenced by klee::STPBuilder::getArrayForUpdate().

Here is the caller graph for this function:

template<class T>
bool klee::ArrayExprHash< T >::lookupArrayExpr ( const Array array,
T &  exp 
) const

Definition at line 77 of file ArrayExprHash.h.

Referenced by klee::STPBuilder::getInitialArray().

Here is the caller graph for this function:

template<class T>
bool klee::ArrayExprHash< T >::lookupUpdateNodeExpr ( const UpdateNode un,
T &  exp 
) const

Definition at line 105 of file ArrayExprHash.h.

Referenced by klee::STPBuilder::getArrayForUpdate().

Here is the caller graph for this function:

Member Data Documentation

template<class T>
ArrayHash klee::ArrayExprHash< T >::_array_hash
protected

Definition at line 71 of file ArrayExprHash.h.

template<class T>
UpdateNodeHash klee::ArrayExprHash< T >::_update_node_hash
protected

Definition at line 72 of file ArrayExprHash.h.


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