klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
NullOrSatisfyingAssignment Struct Reference

Public Member Functions

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

Public Attributes

KeyTypekey
 

Detailed Description

Definition at line 100 of file CexCachingSolver.cpp.

Constructor & Destructor Documentation

NullOrSatisfyingAssignment::NullOrSatisfyingAssignment ( KeyType _key)
inline

Definition at line 103 of file CexCachingSolver.cpp.

Member Function Documentation

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

Definition at line 105 of file CexCachingSolver.cpp.

References klee::Assignment::satisfies().

Here is the call graph for this function:

Member Data Documentation

KeyType& NullOrSatisfyingAssignment::key

Definition at line 101 of file CexCachingSolver.cpp.


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