NullOrSatisfyingAssignment Struct Reference

Public Member Functions
	NullOrSatisfyingAssignment (KeyType &_key)
bool	operator() (Assignment *a) const

Public Attributes
KeyType &	key

Detailed Description

Definition at line 113 of file CexCachingSolver.cpp.

Constructor & Destructor Documentation

NullOrSatisfyingAssignment()

NullOrSatisfyingAssignment::NullOrSatisfyingAssignment ( KeyType &  _key )

inline

Definition at line 116 of file CexCachingSolver.cpp.

Member Function Documentation

operator()()

bool NullOrSatisfyingAssignment::operator() ( Assignment *  a ) const

inline

Definition at line 118 of file CexCachingSolver.cpp.

References key, and klee::Assignment::satisfies().

Here is the call graph for this function:

Member Data Documentation

key

KeyType& NullOrSatisfyingAssignment::key

Definition at line 114 of file CexCachingSolver.cpp.

Referenced by operator()().

---

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

• /Users/cristic/klee/lib/Solver/CexCachingSolver.cpp