klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::STPArrayExprHash Class Reference

#include <STPBuilder.h>

Inheritance diagram for klee::STPArrayExprHash:
Collaboration diagram for klee::STPArrayExprHash:

Public Member Functions

 STPArrayExprHash ()
 
virtual ~STPArrayExprHash ()
 
- Public Member Functions inherited from klee::ArrayExprHash< ::VCExpr >
 ArrayExprHash ()
 
virtual ~ArrayExprHash ()
 
bool lookupArrayExpr (const Array *array,::VCExpr &exp) const
 
void hashArrayExpr (const Array *array,::VCExpr &exp)
 
bool lookupUpdateNodeExpr (const UpdateNode *un,::VCExpr &exp) const
 
void hashUpdateNodeExpr (const UpdateNode *un,::VCExpr &exp)
 

Friends

class STPBuilder
 

Additional Inherited Members

- Protected Types inherited from klee::ArrayExprHash< ::VCExpr >
typedef
std::tr1::unordered_map< const
Array *,::VCExpr, ArrayHashFn,
ArrayCmpFn
ArrayHash
 
typedef ArrayHash::iterator ArrayHashIter
 
typedef ArrayHash::const_iterator ArrayHashConstIter
 
typedef
std::tr1::unordered_map< const
UpdateNode *,::VCExpr,
UpdateNodeHashFn,
UpdateNodeCmpFn
UpdateNodeHash
 
typedef UpdateNodeHash::iterator UpdateNodeHashIter
 
typedef
UpdateNodeHash::const_iterator 
UpdateNodeHashConstIter
 
- Protected Attributes inherited from klee::ArrayExprHash< ::VCExpr >
ArrayHash _array_hash
 
UpdateNodeHash _update_node_hash
 

Detailed Description

Definition at line 60 of file STPBuilder.h.

Constructor & Destructor Documentation

klee::STPArrayExprHash::STPArrayExprHash ( )
inline

Definition at line 65 of file STPBuilder.h.

STPArrayExprHash::~STPArrayExprHash ( )
virtual

Definition at line 53 of file STPBuilder.cpp.

Friends And Related Function Documentation

friend class STPBuilder
friend

Definition at line 62 of file STPBuilder.h.


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