|
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 bool | llzkAttributeIsA_Pod_RecordAttr (MlirAttribute) |
| Returns true if the Attribute is a ::llzk::pod::RecordAttr. | |
| MLIR_CAPI_EXPORTED MlirAttribute | llzkPod_RecordAttrGet (MlirContext ctx, MlirIdentifier name, MlirType type) |
| Create a ::llzk::pod::RecordAttr Attribute with the given parameters. | |
| MLIR_CAPI_EXPORTED MlirIdentifier | llzkPod_RecordAttrGetName (MlirAttribute) |
| Get 'name' parameter from a ::llzk::pod::RecordAttr Attribute. | |
| MLIR_CAPI_EXPORTED MlirType | llzkPod_RecordAttrGetType (MlirAttribute) |
| Get 'type' parameter from a ::llzk::pod::RecordAttr Attribute. | |
| MLIR_CAPI_EXPORTED MlirAttribute | llzkPod_RecordAttrGetNameSym (MlirAttribute inp) |
| Returns the record name as a symbol. | |
| MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Pod_RecordAttr | ( | MlirAttribute | inp | ) |
Returns true if the Attribute is a ::llzk::pod::RecordAttr.
Definition at line 19 of file Attrs.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirAttribute llzkPod_RecordAttrGet | ( | MlirContext | ctx, |
| MlirIdentifier | name, | ||
| MlirType | type ) |
Create a ::llzk::pod::RecordAttr Attribute with the given parameters.
Definition at line 23 of file Attrs.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirIdentifier llzkPod_RecordAttrGetName | ( | MlirAttribute | inp | ) |
Get 'name' parameter from a ::llzk::pod::RecordAttr Attribute.
Definition at line 28 of file Attrs.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirAttribute llzkPod_RecordAttrGetNameSym | ( | MlirAttribute | inp | ) |
Returns the record name as a symbol.
Definition at line 36 of file Attrs.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirType llzkPod_RecordAttrGetType | ( | MlirAttribute | inp | ) |
Get 'type' parameter from a ::llzk::pod::RecordAttr Attribute.
Definition at line 32 of file Attrs.capi.cpp.inc.