|
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_Llzk_LoopBoundsAttr (MlirAttribute) |
| Returns true if the Attribute is a ::llzk::LoopBoundsAttr. | |
| MLIR_CAPI_EXPORTED MlirAttribute | llzkLlzk_LoopBoundsAttrGet (MlirContext ctx, int64_t lower, int64_t upper, int64_t step) |
| Create a ::llzk::LoopBoundsAttr Attribute with the given parameters. | |
| MLIR_CAPI_EXPORTED int64_t | llzkLlzk_LoopBoundsAttrGetLower (MlirAttribute) |
| Get 'lower' parameter from a ::llzk::LoopBoundsAttr Attribute. | |
| MLIR_CAPI_EXPORTED int64_t | llzkLlzk_LoopBoundsAttrGetUpper (MlirAttribute) |
| Get 'upper' parameter from a ::llzk::LoopBoundsAttr Attribute. | |
| MLIR_CAPI_EXPORTED int64_t | llzkLlzk_LoopBoundsAttrGetStep (MlirAttribute) |
| Get 'step' parameter from a ::llzk::LoopBoundsAttr Attribute. | |
| 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 19 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 40 of file Attrs.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirAttribute llzkLlzk_LoopBoundsAttrGet | ( | MlirContext | ctx, |
| int64_t | lower, | ||
| int64_t | upper, | ||
| int64_t | step ) |
Create a ::llzk::LoopBoundsAttr Attribute with the given parameters.
Definition at line 23 of file Attrs.capi.cpp.inc.
| MLIR_CAPI_EXPORTED int64_t llzkLlzk_LoopBoundsAttrGetLower | ( | MlirAttribute | inp | ) |
Get 'lower' parameter from a ::llzk::LoopBoundsAttr Attribute.
Definition at line 28 of file Attrs.capi.cpp.inc.
| MLIR_CAPI_EXPORTED int64_t llzkLlzk_LoopBoundsAttrGetStep | ( | MlirAttribute | inp | ) |
Get 'step' parameter from a ::llzk::LoopBoundsAttr Attribute.
Definition at line 36 of file Attrs.capi.cpp.inc.
| MLIR_CAPI_EXPORTED int64_t llzkLlzk_LoopBoundsAttrGetUpper | ( | MlirAttribute | inp | ) |
Get 'upper' parameter from a ::llzk::LoopBoundsAttr Attribute.
Definition at line 32 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 44 of file Attrs.capi.cpp.inc.