klee
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::unordered_map< const Array *, ::VCExpr, ArrayHashFn, ArrayCmpFnArrayHash
 
typedef ArrayHash::iterator ArrayHashIter
 
typedef ArrayHash::const_iterator ArrayHashConstIter
 
typedef std::unordered_map< const UpdateNode *, ::VCExpr, UpdateNodeHashFn, UpdateNodeCmpFnUpdateNodeHash
 
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 56 of file STPBuilder.h.

Constructor & Destructor Documentation

◆ STPArrayExprHash()

klee::STPArrayExprHash::STPArrayExprHash ( )
inline

Definition at line 61 of file STPBuilder.h.

◆ ~STPArrayExprHash()

virtual klee::STPArrayExprHash::~STPArrayExprHash ( )
virtual

Friends And Related Function Documentation

◆ STPBuilder

friend class STPBuilder
friend

Definition at line 58 of file STPBuilder.h.


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