llzk::verif::detail::CallableSummaryKeyInfo Struct Reference

#include <ForbiddenPreconditionInfluence.h>

Inheritance diagram for llzk::verif::detail::CallableSummaryKeyInfo:

Collaboration diagram for llzk::verif::detail::CallableSummaryKeyInfo:

Static Public Member Functions
static CallableSummaryKey	getEmptyKey ()
static CallableSummaryKey	getTombstoneKey ()
static unsigned	getHashValue (const CallableSummaryKey &key)
static bool	isEqual (const CallableSummaryKey &lhs, const CallableSummaryKey &rhs)

Detailed Description

Definition at line 133 of file ForbiddenPreconditionInfluence.h.

Member Function Documentation

getEmptyKey()

CallableSummaryKey llzk::verif::detail::CallableSummaryKeyInfo::getEmptyKey ( )

inlinestatic

Definition at line 134 of file ForbiddenPreconditionInfluence.h.

getHashValue()

unsigned llzk::verif::detail::CallableSummaryKeyInfo::getHashValue ( const CallableSummaryKey & key )

inlinestatic

Definition at line 142 of file ForbiddenPreconditionInfluence.h.

getTombstoneKey()

CallableSummaryKey llzk::verif::detail::CallableSummaryKeyInfo::getTombstoneKey ( )

inlinestatic

Definition at line 138 of file ForbiddenPreconditionInfluence.h.

isEqual()

bool llzk::verif::detail::CallableSummaryKeyInfo::isEqual ( const CallableSummaryKey & lhs, const CallableSummaryKey & rhs )

inlinestatic

Definition at line 149 of file ForbiddenPreconditionInfluence.h.

---

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

• include/llzk/Dialect/Verif/Util/ForbiddenPreconditionInfluence.h