CachingSolver::CachingSolver::CacheEntryHash Struct Reference

List of all members.

Public Member Functions
unsigned	operator() (const CacheEntry &ce) const

---

Detailed Description

Definition at line 50 of file CachingSolver.cpp.

---

Member Function Documentation

unsigned CachingSolver::CachingSolver::CacheEntryHash::operator()

(

const CacheEntry &

ce

)

const [inline]

Definition at line 51 of file CachingSolver.cpp.

References klee::ConstraintManager::begin(), CachingSolver::CachingSolver::CacheEntry::constraints, klee::ConstraintManager::end(), and CachingSolver::CachingSolver::CacheEntry::query.

Here is the call graph for this function:

---

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

• lib/Solver/CachingSolver.cpp