LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Static Public Member Functions | List of all members
llzk::verif::detail::IncludedContractSummaryKeyInfo Struct Reference

#include <ForbiddenPreconditionInfluence.h>

Inheritance diagram for llzk::verif::detail::IncludedContractSummaryKeyInfo:
[legend]
Collaboration diagram for llzk::verif::detail::IncludedContractSummaryKeyInfo:
[legend]

Static Public Member Functions

static unsigned getHashValue (const IncludedContractSummaryKey &key)
static bool isEqual (const IncludedContractSummaryKey &lhs, const IncludedContractSummaryKey &rhs)

Detailed Description

Definition at line 188 of file ForbiddenPreconditionInfluence.h.

Member Function Documentation

◆ getHashValue()

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

Definition at line 189 of file ForbiddenPreconditionInfluence.h.

◆ isEqual()

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

Definition at line 197 of file ForbiddenPreconditionInfluence.h.

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