klee::EquivArrayCmpFn Struct Reference

#include <ArrayCache.h>

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

Detailed Description

Definition at line 22 of file ArrayCache.h.

Member Function Documentation

operator()()

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

inline

Definition at line 23 of file ArrayCache.h.

References klee::Array::name, and klee::Array::size.

---

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

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