llzk::verif::detail::IncludedContractSummaryKeyInfo Struct Reference

#include <ForbiddenPreconditionInfluence.h>

Inheritance diagram for llzk::verif::detail::IncludedContractSummaryKeyInfo:

Collaboration diagram for llzk::verif::detail::IncludedContractSummaryKeyInfo:

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

Detailed Description

Definition at line 196 of file ForbiddenPreconditionInfluence.h.

Member Function Documentation

getEmptyKey()

IncludedContractSummaryKey llzk::verif::detail::IncludedContractSummaryKeyInfo::getEmptyKey ( )

inlinestatic

Definition at line 197 of file ForbiddenPreconditionInfluence.h.

getHashValue()

unsigned llzk::verif::detail::IncludedContractSummaryKeyInfo::getHashValue ( const IncludedContractSummaryKey & key )

inlinestatic

Definition at line 205 of file ForbiddenPreconditionInfluence.h.

getTombstoneKey()

IncludedContractSummaryKey llzk::verif::detail::IncludedContractSummaryKeyInfo::getTombstoneKey ( )

inlinestatic

Definition at line 201 of file ForbiddenPreconditionInfluence.h.

isEqual()

bool llzk::verif::detail::IncludedContractSummaryKeyInfo::isEqual ( const IncludedContractSummaryKey & lhs, const IncludedContractSummaryKey & rhs )

inlinestatic

Definition at line 213 of file ForbiddenPreconditionInfluence.h.

---

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

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