LLZK 2.1.1
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

Public Types

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

Public Member Functions

auto getCallee ()
void setCallee (const ::mlir::SymbolRefAttr &propValue)
auto getMapOpGroupSizes ()
void setMapOpGroupSizes (const ::mlir::DenseI32ArrayAttr &propValue)
auto getNumDimsPerMap ()
void setNumDimsPerMap (const ::mlir::DenseI32ArrayAttr &propValue)
auto getTemplateParams ()
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

calleeTy callee
mapOpGroupSizesTy mapOpGroupSizes
numDimsPerMapTy numDimsPerMap
templateParamsTy templateParams
operandSegmentSizesTy operandSegmentSizes

Detailed Description

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

Member Typedef Documentation

◆ calleeTy

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

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

◆ mapOpGroupSizesTy

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

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

◆ numDimsPerMapTy

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

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

◆ operandSegmentSizesTy

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

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

◆ templateParamsTy

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

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

Member Function Documentation

◆ getCallee()

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

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

◆ getMapOpGroupSizes()

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

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

◆ getNumDimsPerMap()

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

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

◆ getOperandSegmentSizes()

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

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

◆ getTemplateParams()

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

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

◆ operator!=()

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

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

◆ operator==()

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

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

◆ setCallee()

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

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

◆ setMapOpGroupSizes()

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

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

◆ setNumDimsPerMap()

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

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

◆ setOperandSegmentSizes()

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

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

◆ setTemplateParams()

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

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

Member Data Documentation

◆ callee

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

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

◆ mapOpGroupSizes

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

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

◆ numDimsPerMap

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

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

◆ operandSegmentSizes

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

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

◆ templateParams

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

Definition at line 879 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