Public Member Functions | |
| unsigned | operator() (const CacheEntry &ce) const |
Definition at line 50 of file CachingSolver.cpp.
| 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.

1.5.8