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


Detailed Description

Definition at line 100 of file CexCachingSolver.cpp.

Constructor & Destructor Documentation

NullOrSatisfyingAssignment::NullOrSatisfyingAssignment ( KeyType _key)

Definition at line 103 of file CexCachingSolver.cpp.

Member Function Documentation

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

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: