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

Summary of forbidden precondition influence along with representative source locations for each forbidden kind. More...

#include <ForbiddenPreconditionInfluence.h>

Public Member Functions

bool operator== (const ForbiddenPreconditionInfluenceInfo &other) const

Static Public Member Functions

static ForbiddenPreconditionInfluenceInfo None ()
static ForbiddenPreconditionInfluenceInfo StructMember ()
static ForbiddenPreconditionInfluenceInfo FunctionReturn ()

Public Attributes

ForbiddenPreconditionInfluence influence = ForbiddenPreconditionInfluence::None
llvm::SmallSetVector< mlir::Location, 2 > structMemberLocs = {}

Detailed Description

Summary of forbidden precondition influence along with representative source locations for each forbidden kind.

Definition at line 44 of file ForbiddenPreconditionInfluence.h.

Member Function Documentation

◆ FunctionReturn()

ForbiddenPreconditionInfluenceInfo llzk::verif::ForbiddenPreconditionInfluenceInfo::FunctionReturn ( )
inlinestatic

Definition at line 58 of file ForbiddenPreconditionInfluence.h.

◆ None()

ForbiddenPreconditionInfluenceInfo llzk::verif::ForbiddenPreconditionInfluenceInfo::None ( )
inlinestatic

Definition at line 52 of file ForbiddenPreconditionInfluence.h.

◆ operator==()

bool llzk::verif::ForbiddenPreconditionInfluenceInfo::operator== ( const ForbiddenPreconditionInfluenceInfo & other) const
inline

Definition at line 48 of file ForbiddenPreconditionInfluence.h.

◆ StructMember()

ForbiddenPreconditionInfluenceInfo llzk::verif::ForbiddenPreconditionInfluenceInfo::StructMember ( )
inlinestatic

Definition at line 54 of file ForbiddenPreconditionInfluence.h.

Member Data Documentation

◆ influence

ForbiddenPreconditionInfluence llzk::verif::ForbiddenPreconditionInfluenceInfo::influence = ForbiddenPreconditionInfluence::None

Definition at line 45 of file ForbiddenPreconditionInfluence.h.

◆ structMemberLocs

llvm::SmallSetVector<mlir::Location, 2> llzk::verif::ForbiddenPreconditionInfluenceInfo::structMemberLocs = {}

Definition at line 46 of file ForbiddenPreconditionInfluence.h.

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