|
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 | llzkLlzk_NonDetOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resType) |
| Build a llzk::NonDetOp Operation. | |
| MLIR_CAPI_EXPORTED bool | llzkOperationIsA_Llzk_NonDetOp (MlirOperation) |
| Returns true if the Operation is a llzk::NonDetOp. | |
| MLIR_CAPI_EXPORTED MlirValue | llzkLlzk_NonDetOpGetRes (MlirOperation op) |
| Get Res result from llzk::NonDetOp Operation. | |
| MLIR_CAPI_EXPORTED MlirOperation llzkLlzk_NonDetOpBuild | ( | MlirOpBuilder | builder, |
| MlirLocation | location, | ||
| MlirType | resType ) |
Build a llzk::NonDetOp Operation.
Definition at line 11 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirValue llzkLlzk_NonDetOpGetRes | ( | MlirOperation | op | ) |
Get Res result from llzk::NonDetOp Operation.
Definition at line 22 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED bool llzkOperationIsA_Llzk_NonDetOp | ( | MlirOperation | inp | ) |
Returns true if the Operation is a llzk::NonDetOp.
Definition at line 18 of file Ops.capi.cpp.inc.