|
LLZK 3.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_Llzk_LoopBoundsAttr (MlirAttribute) |
| Returns true if the Attribute is a ::llzk::LoopBoundsAttr. | |
| MLIR_CAPI_EXPORTED MlirAttribute | llzkLlzk_LoopBoundsAttrGet (MlirContext ctx, MlirStringRef lower, MlirStringRef upper, MlirStringRef step) |
| Create a ::llzk::LoopBoundsAttr Attribute with the given parameters. | |
| MLIR_CAPI_EXPORTED void | llzkLlzk_LoopBoundsAttrGetLower (MlirAttribute, MlirStringCallback callback, void *userData) |
| Print the exact signed decimal 'lower' value. The callback must copy the text to retain it. | |
| MLIR_CAPI_EXPORTED void | llzkLlzk_LoopBoundsAttrGetUpper (MlirAttribute, MlirStringCallback callback, void *userData) |
| Print the exact signed decimal 'upper' value. The callback must copy the text to retain it. | |
| MLIR_CAPI_EXPORTED void | llzkLlzk_LoopBoundsAttrGetStep (MlirAttribute, MlirStringCallback callback, void *userData) |
| Print the exact signed decimal 'step' value. The callback must copy the text to retain it. | |
| MLIR_CAPI_EXPORTED bool | llzkAttributeIsA_Llzk_PublicAttr (MlirAttribute) |
| Returns true if the Attribute is a ::llzk::PublicAttr. | |
| MLIR_CAPI_EXPORTED MlirAttribute | llzkLlzk_PublicAttrGet (MlirContext ctx) |
| Create a ::llzk::PublicAttr Attribute with the given parameters. | |
| MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Llzk_LoopBoundsAttr | ( | MlirAttribute | inp | ) |
Returns true if the Attribute is a ::llzk::LoopBoundsAttr.
Definition at line 21 of file Attrs.capi.cpp.inc.
| MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Llzk_PublicAttr | ( | MlirAttribute | inp | ) |
Returns true if the Attribute is a ::llzk::PublicAttr.
Definition at line 54 of file Attrs.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirAttribute llzkLlzk_LoopBoundsAttrGet | ( | MlirContext | ctx, |
| MlirStringRef | lower, | ||
| MlirStringRef | upper, | ||
| MlirStringRef | step ) |
Create a ::llzk::LoopBoundsAttr Attribute with the given parameters.
Definition at line 25 of file Attrs.capi.cpp.inc.
| MLIR_CAPI_EXPORTED void llzkLlzk_LoopBoundsAttrGetLower | ( | MlirAttribute | inp, |
| MlirStringCallback | callback, | ||
| void * | userData ) |
Print the exact signed decimal 'lower' value. The callback must copy the text to retain it.
Definition at line 36 of file Attrs.capi.cpp.inc.
| MLIR_CAPI_EXPORTED void llzkLlzk_LoopBoundsAttrGetStep | ( | MlirAttribute | inp, |
| MlirStringCallback | callback, | ||
| void * | userData ) |
Print the exact signed decimal 'step' value. The callback must copy the text to retain it.
Definition at line 48 of file Attrs.capi.cpp.inc.
| MLIR_CAPI_EXPORTED void llzkLlzk_LoopBoundsAttrGetUpper | ( | MlirAttribute | inp, |
| MlirStringCallback | callback, | ||
| void * | userData ) |
Print the exact signed decimal 'upper' value. The callback must copy the text to retain it.
Definition at line 42 of file Attrs.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirAttribute llzkLlzk_PublicAttrGet | ( | MlirContext | ctx | ) |
Create a ::llzk::PublicAttr Attribute with the given parameters.
Definition at line 58 of file Attrs.capi.cpp.inc.