LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Attrs.capi.h.inc File Reference
#include "llzk-c/Builder.h"
#include <mlir-c/IR.h>
Include dependency graph for Attrs.capi.h.inc:
This graph shows which files directly or indirectly include this file:

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.

Function Documentation

◆ llzkAttributeIsA_Llzk_LoopBoundsAttr()

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.

◆ llzkAttributeIsA_Llzk_PublicAttr()

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.

◆ llzkLlzk_LoopBoundsAttrGet()

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.

◆ llzkLlzk_LoopBoundsAttrGetLower()

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.

◆ llzkLlzk_LoopBoundsAttrGetStep()

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.

◆ llzkLlzk_LoopBoundsAttrGetUpper()

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.

◆ llzkLlzk_PublicAttrGet()

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.