|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Go to the source code of this file.
Functions | |
| MlirOperation | llzkString_LitStringOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirIdentifier value) |
| Build a llzk::string::LitStringOp Operation. | |
| bool | llzkOperationIsA_String_LitStringOp (MlirOperation inp) |
| Returns true if the Operation is a llzk::string::LitStringOp. | |
| MlirAttribute | llzkString_LitStringOpGetValue (MlirOperation op) |
| Get Value attribute from llzk::string::LitStringOp Operation. | |
| void | llzkString_LitStringOpSetValue (MlirOperation op, MlirAttribute attr) |
| Set Value attribute of llzk::string::LitStringOp Operation. | |
| MlirValue | llzkString_LitStringOpGetResult (MlirOperation op) |
| Get Result result from llzk::string::LitStringOp Operation. | |
| bool llzkOperationIsA_String_LitStringOp | ( | MlirOperation | inp | ) |
Returns true if the Operation is a llzk::string::LitStringOp.
Definition at line 24 of file Ops.capi.cpp.inc.
| MlirOperation llzkString_LitStringOpBuild | ( | MlirOpBuilder | builder, |
| MlirLocation | location, | ||
| MlirType | resultType, | ||
| MlirIdentifier | value ) |
Build a llzk::string::LitStringOp Operation.
Definition at line 11 of file Ops.capi.cpp.inc.
| MlirValue llzkString_LitStringOpGetResult | ( | MlirOperation | op | ) |
Get Result result from llzk::string::LitStringOp Operation.
Definition at line 36 of file Ops.capi.cpp.inc.
| MlirAttribute llzkString_LitStringOpGetValue | ( | MlirOperation | op | ) |
Get Value attribute from llzk::string::LitStringOp Operation.
Definition at line 28 of file Ops.capi.cpp.inc.
| void llzkString_LitStringOpSetValue | ( | MlirOperation | op, |
| MlirAttribute | attr ) |
Set Value attribute of llzk::string::LitStringOp Operation.
Definition at line 32 of file Ops.capi.cpp.inc.