klee
Public Member Functions | List of all members
CachingSolver::CacheEntryHash Struct Reference

Public Member Functions

unsigned operator() (const CacheEntry &ce) const
 

Detailed Description

Definition at line 49 of file CachingSolver.cpp.

Member Function Documentation

◆ operator()()

unsigned CachingSolver::CacheEntryHash::operator() ( const CacheEntry &  ce) const
inline

Definition at line 50 of file CachingSolver.cpp.

References CachingSolver::CacheEntry::constraints, klee::Expr::hash(), and CachingSolver::CacheEntry::query.

Here is the call graph for this function:
The documentation for this struct was generated from the following file: