LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Attrs.capi.cpp.inc File Reference
#include <mlir/CAPI/IR.h>
#include <mlir/CAPI/Support.h>
#include <llvm/ADT/TypeSwitch.h>
#include <utility>
Include dependency graph for Attrs.capi.cpp.inc:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

bool llzkAttributeIsA_Function_AllowConstraintAttr (MlirAttribute inp)
 Returns true if the Attribute is a ::llzk::function::AllowConstraintAttr.
MlirAttribute llzkFunction_AllowConstraintAttrGet (MlirContext ctx)
 Create a ::llzk::function::AllowConstraintAttr Attribute with the given parameters.
bool llzkAttributeIsA_Function_AllowNonNativeFieldOpsAttr (MlirAttribute inp)
 Returns true if the Attribute is a ::llzk::function::AllowNonNativeFieldOpsAttr.
MlirAttribute llzkFunction_AllowNonNativeFieldOpsAttrGet (MlirContext ctx)
 Create a ::llzk::function::AllowNonNativeFieldOpsAttr Attribute with the given parameters.
bool llzkAttributeIsA_Function_AllowWitnessAttr (MlirAttribute inp)
 Returns true if the Attribute is a ::llzk::function::AllowWitnessAttr.
MlirAttribute llzkFunction_AllowWitnessAttrGet (MlirContext ctx)
 Create a ::llzk::function::AllowWitnessAttr Attribute with the given parameters.

Function Documentation

◆ llzkAttributeIsA_Function_AllowConstraintAttr()

bool llzkAttributeIsA_Function_AllowConstraintAttr ( MlirAttribute inp)

Returns true if the Attribute is a ::llzk::function::AllowConstraintAttr.

Definition at line 19 of file Attrs.capi.cpp.inc.

◆ llzkAttributeIsA_Function_AllowNonNativeFieldOpsAttr()

bool llzkAttributeIsA_Function_AllowNonNativeFieldOpsAttr ( MlirAttribute inp)

Returns true if the Attribute is a ::llzk::function::AllowNonNativeFieldOpsAttr.

Definition at line 28 of file Attrs.capi.cpp.inc.

◆ llzkAttributeIsA_Function_AllowWitnessAttr()

bool llzkAttributeIsA_Function_AllowWitnessAttr ( MlirAttribute inp)

Returns true if the Attribute is a ::llzk::function::AllowWitnessAttr.

Definition at line 37 of file Attrs.capi.cpp.inc.

◆ llzkFunction_AllowConstraintAttrGet()

MlirAttribute llzkFunction_AllowConstraintAttrGet ( MlirContext ctx)

Create a ::llzk::function::AllowConstraintAttr Attribute with the given parameters.

Definition at line 23 of file Attrs.capi.cpp.inc.

◆ llzkFunction_AllowNonNativeFieldOpsAttrGet()

MlirAttribute llzkFunction_AllowNonNativeFieldOpsAttrGet ( MlirContext ctx)

Create a ::llzk::function::AllowNonNativeFieldOpsAttr Attribute with the given parameters.

Definition at line 32 of file Attrs.capi.cpp.inc.

◆ llzkFunction_AllowWitnessAttrGet()

MlirAttribute llzkFunction_AllowWitnessAttrGet ( MlirContext ctx)

Create a ::llzk::function::AllowWitnessAttr Attribute with the given parameters.

Definition at line 41 of file Attrs.capi.cpp.inc.