LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties Struct Reference
Collaboration diagram for llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties:
[legend]

Public Types

using arg_attrsTy = ::mlir::ArrayAttr
using calleeTy = ::mlir::SymbolRefAttr
using mapOpGroupSizesTy = ::mlir::DenseI32ArrayAttr
using numDimsPerMapTy = ::mlir::DenseI32ArrayAttr
using res_attrsTy = ::mlir::ArrayAttr
using templateParamsTy = ::mlir::ArrayAttr
using operandSegmentSizesTy = std::array<int32_t, 2>

Public Member Functions

auto getArgAttrs () const
void setArgAttrs (const ::mlir::ArrayAttr &propValue)
auto getCallee () const
void setCallee (const ::mlir::SymbolRefAttr &propValue)
auto getMapOpGroupSizes () const
void setMapOpGroupSizes (const ::mlir::DenseI32ArrayAttr &propValue)
auto getNumDimsPerMap () const
void setNumDimsPerMap (const ::mlir::DenseI32ArrayAttr &propValue)
auto getResAttrs () const
void setResAttrs (const ::mlir::ArrayAttr &propValue)
auto getTemplateParams () const
void setTemplateParams (const ::mlir::ArrayAttr &propValue)
::llvm::ArrayRef< int32_t > getOperandSegmentSizes () const
void setOperandSegmentSizes (::llvm::ArrayRef< int32_t > propValue)
bool operator== (const Properties &rhs) const
bool operator!= (const Properties &rhs) const

Public Attributes

arg_attrsTy arg_attrs
calleeTy callee
mapOpGroupSizesTy mapOpGroupSizes
numDimsPerMapTy numDimsPerMap
res_attrsTy res_attrs
templateParamsTy templateParams
operandSegmentSizesTy operandSegmentSizes

Detailed Description

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

Member Typedef Documentation

◆ arg_attrsTy

using llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::arg_attrsTy = ::mlir::ArrayAttr

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

◆ calleeTy

using llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::calleeTy = ::mlir::SymbolRefAttr

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

◆ mapOpGroupSizesTy

using llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::mapOpGroupSizesTy = ::mlir::DenseI32ArrayAttr

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

◆ numDimsPerMapTy

using llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::numDimsPerMapTy = ::mlir::DenseI32ArrayAttr

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

◆ operandSegmentSizesTy

using llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::operandSegmentSizesTy = std::array<int32_t, 2>

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

◆ res_attrsTy

using llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::res_attrsTy = ::mlir::ArrayAttr

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

◆ templateParamsTy

using llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::templateParamsTy = ::mlir::ArrayAttr

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

Member Function Documentation

◆ getArgAttrs()

auto llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::getArgAttrs ( ) const
inline

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

◆ getCallee()

auto llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::getCallee ( ) const
inline

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

◆ getMapOpGroupSizes()

auto llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::getMapOpGroupSizes ( ) const
inline

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

◆ getNumDimsPerMap()

auto llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::getNumDimsPerMap ( ) const
inline

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

◆ getOperandSegmentSizes()

::llvm::ArrayRef< int32_t > llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::getOperandSegmentSizes ( ) const
inline

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

◆ getResAttrs()

auto llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::getResAttrs ( ) const
inline

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

◆ getTemplateParams()

auto llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::getTemplateParams ( ) const
inline

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

◆ operator!=()

bool llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::operator!= ( const Properties & rhs) const
inline

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

◆ operator==()

bool llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::operator== ( const Properties & rhs) const
inline

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

◆ setArgAttrs()

void llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::setArgAttrs ( const ::mlir::ArrayAttr & propValue)
inline

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

◆ setCallee()

void llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::setCallee ( const ::mlir::SymbolRefAttr & propValue)
inline

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

◆ setMapOpGroupSizes()

void llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::setMapOpGroupSizes ( const ::mlir::DenseI32ArrayAttr & propValue)
inline

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

◆ setNumDimsPerMap()

void llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::setNumDimsPerMap ( const ::mlir::DenseI32ArrayAttr & propValue)
inline

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

◆ setOperandSegmentSizes()

void llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::setOperandSegmentSizes ( ::llvm::ArrayRef< int32_t > propValue)
inline

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

◆ setResAttrs()

void llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::setResAttrs ( const ::mlir::ArrayAttr & propValue)
inline

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

◆ setTemplateParams()

void llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::setTemplateParams ( const ::mlir::ArrayAttr & propValue)
inline

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

Member Data Documentation

◆ arg_attrs

arg_attrsTy llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::arg_attrs

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

◆ callee

calleeTy llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::callee

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

◆ mapOpGroupSizes

mapOpGroupSizesTy llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::mapOpGroupSizes

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

◆ numDimsPerMap

numDimsPerMapTy llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::numDimsPerMap

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

◆ operandSegmentSizes

operandSegmentSizesTy llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::operandSegmentSizes

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

◆ res_attrs

res_attrsTy llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::res_attrs

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

◆ templateParams

templateParamsTy llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties::templateParams

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

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