|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Types | |
| using | sym_nameTy = ::mlir::StringAttr |
| using | type_optTy = ::mlir::TypeAttr |
Public Member Functions | |
| auto | getSymName () |
| void | setSymName (const ::mlir::StringAttr &propValue) |
| auto | getTypeOpt () |
| void | setTypeOpt (const ::mlir::TypeAttr &propValue) |
| bool | operator== (const Properties &rhs) const |
| bool | operator!= (const Properties &rhs) const |
Public Attributes | |
| sym_nameTy | sym_name |
| type_optTy | type_opt |
| using llzk::polymorphic::detail::TemplateParamOpGenericAdaptorBase::Properties::sym_nameTy = ::mlir::StringAttr |
| using llzk::polymorphic::detail::TemplateParamOpGenericAdaptorBase::Properties::type_optTy = ::mlir::TypeAttr |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
| sym_nameTy llzk::polymorphic::detail::TemplateParamOpGenericAdaptorBase::Properties::sym_name |
| type_optTy llzk::polymorphic::detail::TemplateParamOpGenericAdaptorBase::Properties::type_opt |