LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
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 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: