|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Types | |
| using | mapTy = ::mlir::AffineMapAttr |
| using | numDimsTy = ::mlir::IntegerAttr |
Public Member Functions | |
| auto | getMap () |
| void | setMap (const ::mlir::AffineMapAttr &propValue) |
| auto | getNumDims () |
| void | setNumDims (const ::mlir::IntegerAttr &propValue) |
| bool | operator== (const Properties &rhs) const |
| bool | operator!= (const Properties &rhs) const |
Public Attributes | |
| mapTy | map |
| numDimsTy | numDims |
| using llzk::polymorphic::detail::ApplyMapOpGenericAdaptorBase::Properties::mapTy = ::mlir::AffineMapAttr |
| using llzk::polymorphic::detail::ApplyMapOpGenericAdaptorBase::Properties::numDimsTy = ::mlir::IntegerAttr |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
| mapTy llzk::polymorphic::detail::ApplyMapOpGenericAdaptorBase::Properties::map |
| numDimsTy llzk::polymorphic::detail::ApplyMapOpGenericAdaptorBase::Properties::numDims |