LLZK 2.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_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.

Function Documentation

◆ llzkAttributeIsA_Pod_RecordAttr()

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.

◆ llzkPod_RecordAttrGet()

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.

◆ llzkPod_RecordAttrGetName()

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.

◆ llzkPod_RecordAttrGetNameSym()

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.

◆ llzkPod_RecordAttrGetType()

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.