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

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: