LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::pod::detail::WritePodOpGenericAdaptorBase::Properties Struct Reference

Public Types

using record_nameTy = ::mlir::FlatSymbolRefAttr

Public Member Functions

auto getRecordName ()
void setRecordName (const ::mlir::FlatSymbolRefAttr &propValue)
bool operator== (const Properties &rhs) const
bool operator!= (const Properties &rhs) const

Public Attributes

record_nameTy record_name

Detailed Description

Definition at line 554 of file Ops.h.inc.

Member Typedef Documentation

◆ record_nameTy

Definition at line 555 of file Ops.h.inc.

Member Function Documentation

◆ getRecordName()

auto llzk::pod::detail::WritePodOpGenericAdaptorBase::Properties::getRecordName ( )
inline

Definition at line 558 of file Ops.h.inc.

◆ operator!=()

bool llzk::pod::detail::WritePodOpGenericAdaptorBase::Properties::operator!= ( const Properties & rhs) const
inline

Definition at line 570 of file Ops.h.inc.

◆ operator==()

bool llzk::pod::detail::WritePodOpGenericAdaptorBase::Properties::operator== ( const Properties & rhs) const
inline

Definition at line 565 of file Ops.h.inc.

◆ setRecordName()

void llzk::pod::detail::WritePodOpGenericAdaptorBase::Properties::setRecordName ( const ::mlir::FlatSymbolRefAttr & propValue)
inline

Definition at line 562 of file Ops.h.inc.

Member Data Documentation

◆ record_name

record_nameTy llzk::pod::detail::WritePodOpGenericAdaptorBase::Properties::record_name

Definition at line 556 of file Ops.h.inc.


The documentation for this struct was generated from the following file:
  • build/include/llzk/Dialect/POD/IR/Ops.h.inc