klee
|
#include <Z3Builder.h>
Public Member Functions | |
Z3ArrayExprHash () | |
virtual | ~Z3ArrayExprHash () |
void | clear () |
![]() | |
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 | |
![]() | |
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 |
![]() | |
ArrayHash | _array_hash |
UpdateNodeHash | _update_node_hash |
Definition at line 94 of file Z3Builder.h.
|
inline |
Definition at line 99 of file Z3Builder.h.
|
virtual |
void klee::Z3ArrayExprHash::clear | ( | ) |
|
friend |
Definition at line 96 of file Z3Builder.h.