|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Go to the source code of this file.
Functions | |
| MLIR_CAPI_EXPORTED MlirOperation | llzkInclude_IncludeOpBuild (MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirIdentifier path) |
| Build a llzk::include::IncludeOp Operation. | |
| MLIR_CAPI_EXPORTED bool | llzkOperationIsA_Include_IncludeOp (MlirOperation) |
| Returns true if the Operation is a llzk::include::IncludeOp. | |
| MLIR_CAPI_EXPORTED MlirAttribute | llzkInclude_IncludeOpGetSymName (MlirOperation op) |
| Get SymName attribute from llzk::include::IncludeOp Operation. | |
| MLIR_CAPI_EXPORTED void | llzkInclude_IncludeOpSetSymName (MlirOperation op, MlirAttribute attr) |
| Set SymName attribute of llzk::include::IncludeOp Operation. | |
| MLIR_CAPI_EXPORTED MlirAttribute | llzkInclude_IncludeOpGetPath (MlirOperation op) |
| Get Path attribute from llzk::include::IncludeOp Operation. | |
| MLIR_CAPI_EXPORTED void | llzkInclude_IncludeOpSetPath (MlirOperation op, MlirAttribute attr) |
| Set Path attribute of llzk::include::IncludeOp Operation. | |
| MLIR_CAPI_EXPORTED MlirOperation llzkInclude_IncludeOpBuild | ( | MlirOpBuilder | builder, |
| MlirLocation | location, | ||
| MlirIdentifier | sym_name, | ||
| MlirIdentifier | path ) |
Build a llzk::include::IncludeOp Operation.
Definition at line 11 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirAttribute llzkInclude_IncludeOpGetPath | ( | MlirOperation | op | ) |
Get Path attribute from llzk::include::IncludeOp Operation.
Definition at line 38 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirAttribute llzkInclude_IncludeOpGetSymName | ( | MlirOperation | op | ) |
Get SymName attribute from llzk::include::IncludeOp Operation.
Definition at line 30 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED void llzkInclude_IncludeOpSetPath | ( | MlirOperation | op, |
| MlirAttribute | attr ) |
Set Path attribute of llzk::include::IncludeOp Operation.
Definition at line 42 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED void llzkInclude_IncludeOpSetSymName | ( | MlirOperation | op, |
| MlirAttribute | attr ) |
Set SymName attribute of llzk::include::IncludeOp Operation.
Definition at line 34 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED bool llzkOperationIsA_Include_IncludeOp | ( | MlirOperation | inp | ) |
Returns true if the Operation is a llzk::include::IncludeOp.
Definition at line 26 of file Ops.capi.cpp.inc.