klee::ArrayCmpFn Struct Reference

#include <ArrayExprHash.h>

Public Member Functions
bool	operator() (const Array *array1, const Array *array2) const

Detailed Description

Definition at line 28 of file ArrayExprHash.h.

Member Function Documentation

operator()()

bool klee::ArrayCmpFn::operator() ( const Array *  array1, const Array *  array2  ) const

inline

Definition at line 29 of file ArrayExprHash.h.

---

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

• /Users/cristic/klee/include/klee/Expr/ArrayExprHash.h