CachingSolver::CachingSolver::CacheEntry Struct Reference

Collaboration diagram for CachingSolver::CachingSolver::CacheEntry:

[legend]

List of all members.

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< Expr >	query

---

Detailed Description

Definition at line 35 of file CachingSolver.cpp.

---

Constructor & Destructor Documentation

CachingSolver::CachingSolver::CacheEntry::CacheEntry	(	const ConstraintManager &	c,
		ref< Expr >	q
	)			[inline]

Definition at line 36 of file CachingSolver.cpp.

CachingSolver::CachingSolver::CacheEntry::CacheEntry

(

const CacheEntry &

ce

)

[inline]

Definition at line 39 of file CachingSolver.cpp.

---

Member Function Documentation

bool CachingSolver::CachingSolver::CacheEntry::operator==

(

const CacheEntry &

b

)

const [inline]

Definition at line 45 of file CachingSolver.cpp.

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

Here is the call graph for this function:

---

Member Data Documentation

ConstraintManager CachingSolver::CachingSolver::CacheEntry::constraints

Definition at line 42 of file CachingSolver.cpp.

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

ref<Expr> CachingSolver::CachingSolver::CacheEntry::query

Definition at line 43 of file CachingSolver.cpp.

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

---

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

• lib/Solver/CachingSolver.cpp