|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Types | |
| using | arg_attrsTy = ::mlir::ArrayAttr |
| using | function_typeTy = ::mlir::TypeAttr |
| using | res_attrsTy = ::mlir::ArrayAttr |
| using | sym_nameTy = ::mlir::StringAttr |
Public Member Functions | |
| auto | getArgAttrs () |
| void | setArgAttrs (const ::mlir::ArrayAttr &propValue) |
| auto | getFunctionType () |
| void | setFunctionType (const ::mlir::TypeAttr &propValue) |
| auto | getResAttrs () |
| void | setResAttrs (const ::mlir::ArrayAttr &propValue) |
| auto | getSymName () |
| void | setSymName (const ::mlir::StringAttr &propValue) |
| bool | operator== (const Properties &rhs) const |
| bool | operator!= (const Properties &rhs) const |
Public Attributes | |
| arg_attrsTy | arg_attrs |
| function_typeTy | function_type |
| res_attrsTy | res_attrs |
| sym_nameTy | sym_name |
| using llzk::function::detail::FuncDefOpGenericAdaptorBase::Properties::arg_attrsTy = ::mlir::ArrayAttr |
| using llzk::function::detail::FuncDefOpGenericAdaptorBase::Properties::function_typeTy = ::mlir::TypeAttr |
| using llzk::function::detail::FuncDefOpGenericAdaptorBase::Properties::res_attrsTy = ::mlir::ArrayAttr |
| using llzk::function::detail::FuncDefOpGenericAdaptorBase::Properties::sym_nameTy = ::mlir::StringAttr |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
| arg_attrsTy llzk::function::detail::FuncDefOpGenericAdaptorBase::Properties::arg_attrs |
| function_typeTy llzk::function::detail::FuncDefOpGenericAdaptorBase::Properties::function_type |
| res_attrsTy llzk::function::detail::FuncDefOpGenericAdaptorBase::Properties::res_attrs |
| sym_nameTy llzk::function::detail::FuncDefOpGenericAdaptorBase::Properties::sym_name |