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