klee
Public Member Functions | Friends | List of all members
klee::Z3ArrayExprHash Class Reference

#include <Z3Builder.h>

Inheritance diagram for klee::Z3ArrayExprHash:
Inheritance graph
[legend]
Collaboration diagram for klee::Z3ArrayExprHash:
Collaboration graph
[legend]

Public Member Functions

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

Friends

class Z3Builder
 

Additional Inherited Members

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

Detailed Description

Definition at line 94 of file Z3Builder.h.

Constructor & Destructor Documentation

◆ Z3ArrayExprHash()

klee::Z3ArrayExprHash::Z3ArrayExprHash ( )
inline

Definition at line 99 of file Z3Builder.h.

◆ ~Z3ArrayExprHash()

virtual klee::Z3ArrayExprHash::~Z3ArrayExprHash ( )
virtual

Member Function Documentation

◆ clear()

void klee::Z3ArrayExprHash::clear ( )

Friends And Related Function Documentation

◆ Z3Builder

friend class Z3Builder
friend

Definition at line 96 of file Z3Builder.h.

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