klee
Public Member Functions | Protected Types | Protected Attributes | List of all members
klee::ArrayExprHash< T > Class Template Reference

#include <ArrayExprHash.h>

Inheritance diagram for klee::ArrayExprHash< T >:
Inheritance graph
[legend]

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::unordered_map< const Array *, T, ArrayHashFn, ArrayCmpFn > ArrayHash
 
typedef ArrayHash::iterator ArrayHashIter
 
typedef ArrayHash::const_iterator ArrayHashConstIter
 
typedef std::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

◆ ArrayHash

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

Definition at line 63 of file ArrayExprHash.h.

◆ ArrayHashConstIter

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

Definition at line 65 of file ArrayExprHash.h.

◆ ArrayHashIter

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

Definition at line 64 of file ArrayExprHash.h.

◆ UpdateNodeHash

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

Definition at line 67 of file ArrayExprHash.h.

◆ UpdateNodeHashConstIter

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

Definition at line 69 of file ArrayExprHash.h.

◆ UpdateNodeHashIter

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

Definition at line 68 of file ArrayExprHash.h.

Constructor & Destructor Documentation

◆ ArrayExprHash()

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

Definition at line 50 of file ArrayExprHash.h.

◆ ~ArrayExprHash()

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

Definition at line 54 of file ArrayExprHash.h.

Member Function Documentation

◆ hashArrayExpr()

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

Definition at line 94 of file ArrayExprHash.h.

◆ hashUpdateNodeExpr()

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

Definition at line 123 of file ArrayExprHash.h.

◆ lookupArrayExpr()

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

Definition at line 77 of file ArrayExprHash.h.

◆ lookupUpdateNodeExpr()

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

Definition at line 105 of file ArrayExprHash.h.

Member Data Documentation

◆ _array_hash

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

Definition at line 71 of file ArrayExprHash.h.

◆ _update_node_hash

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: