|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include <mlir/CAPI/IR.h>#include <mlir/CAPI/Support.h>#include <llvm/ADT/TypeSwitch.h>#include <utility>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. | |
| 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.
| 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.
| 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.
| 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.
| 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.
| 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.