klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
CachingSolver::CacheEntry Struct Reference
Collaboration diagram for CachingSolver::CacheEntry:

Public Member Functions

 CacheEntry (const ConstraintManager &c, ref< Expr > q)
 
 CacheEntry (const CacheEntry &ce)
 
bool operator== (const CacheEntry &b) const
 

Public Attributes

ConstraintManager constraints
 
ref< Exprquery
 

Detailed Description

Definition at line 35 of file CachingSolver.cpp.

Constructor & Destructor Documentation

CachingSolver::CacheEntry::CacheEntry ( const ConstraintManager c,
ref< Expr q 
)
inline

Definition at line 36 of file CachingSolver.cpp.

CachingSolver::CacheEntry::CacheEntry ( const CacheEntry ce)
inline

Definition at line 39 of file CachingSolver.cpp.

Member Function Documentation

bool CachingSolver::CacheEntry::operator== ( const CacheEntry b) const
inline

Definition at line 45 of file CachingSolver.cpp.

References constraints, klee::ref< T >::get(), and query.

Here is the call graph for this function:

Member Data Documentation

ConstraintManager CachingSolver::CacheEntry::constraints

Definition at line 42 of file CachingSolver.cpp.

Referenced by CachingSolver::CacheEntryHash::operator()(), and operator==().

ref<Expr> CachingSolver::CacheEntry::query

Definition at line 43 of file CachingSolver.cpp.

Referenced by CachingSolver::CacheEntryHash::operator()(), and operator==().


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