klee
Public Member Functions | Public Attributes | List of all members
CachingSolver::CacheEntry Struct Reference
Collaboration diagram for CachingSolver::CacheEntry:
Collaboration graph
[legend]

Public Member Functions

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

Public Attributes

ConstraintSet constraints
 
ref< Expr > query
 

Detailed Description

Definition at line 34 of file CachingSolver.cpp.

Constructor & Destructor Documentation

◆ CacheEntry() [1/2]

CachingSolver::CacheEntry::CacheEntry ( const ConstraintSet &  c,
ref< Expr >  q 
)
inline

Definition at line 35 of file CachingSolver.cpp.

◆ CacheEntry() [2/2]

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

Definition at line 38 of file CachingSolver.cpp.

Member Function Documentation

◆ operator==()

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

Definition at line 44 of file CachingSolver.cpp.

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

Here is the call graph for this function:

Member Data Documentation

◆ constraints

ConstraintSet CachingSolver::CacheEntry::constraints

Definition at line 41 of file CachingSolver.cpp.

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

◆ query

ref<Expr> CachingSolver::CacheEntry::query

Definition at line 42 of file CachingSolver.cpp.

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

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