|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Types | |
| using | mapOpGroupSizesTy = ::mlir::DenseI32ArrayAttr |
| using | numDimsPerMapTy = ::mlir::DenseI32ArrayAttr |
| using | operandSegmentSizesTy = std::array<int32_t, 2> |
Public Member Functions | |
| auto | getMapOpGroupSizes () |
| void | setMapOpGroupSizes (const ::mlir::DenseI32ArrayAttr &propValue) |
| auto | getNumDimsPerMap () |
| void | setNumDimsPerMap (const ::mlir::DenseI32ArrayAttr &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 | |
| mapOpGroupSizesTy | mapOpGroupSizes |
| numDimsPerMapTy | numDimsPerMap |
| operandSegmentSizesTy | operandSegmentSizes |
| using llzk::array::detail::CreateArrayOpGenericAdaptorBase::Properties::mapOpGroupSizesTy = ::mlir::DenseI32ArrayAttr |
| using llzk::array::detail::CreateArrayOpGenericAdaptorBase::Properties::numDimsPerMapTy = ::mlir::DenseI32ArrayAttr |
| using llzk::array::detail::CreateArrayOpGenericAdaptorBase::Properties::operandSegmentSizesTy = std::array<int32_t, 2> |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
| mapOpGroupSizesTy llzk::array::detail::CreateArrayOpGenericAdaptorBase::Properties::mapOpGroupSizes |
| numDimsPerMapTy llzk::array::detail::CreateArrayOpGenericAdaptorBase::Properties::numDimsPerMap |
| operandSegmentSizesTy llzk::array::detail::CreateArrayOpGenericAdaptorBase::Properties::operandSegmentSizes |