NullOrSatisfyingAssignment Struct Reference

Public Member Functions

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

Public Attributes


Detailed Description

Definition at line 113 of file CexCachingSolver.cpp.

Constructor & Destructor Documentation

◆ NullOrSatisfyingAssignment()

NullOrSatisfyingAssignment::NullOrSatisfyingAssignment ( KeyType _key)

Definition at line 116 of file CexCachingSolver.cpp.

Member Function Documentation

◆ operator()()

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

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: