|
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_Bool_FeltCmpPredicateAttr (MlirAttribute inp) |
| Returns true if the Attribute is a ::llzk::boolean::FeltCmpPredicateAttr. | |
| MlirAttribute | llzkBool_FeltCmpPredicateAttrGet (MlirContext ctx, LlzkBooleanFeltCmpPredicate value) |
| Create a ::llzk::boolean::FeltCmpPredicateAttr Attribute with the given parameters. | |
| LlzkBooleanFeltCmpPredicate | llzkBool_FeltCmpPredicateAttrGetValue (MlirAttribute inp) |
| Get 'value' parameter from a ::llzk::boolean::FeltCmpPredicateAttr Attribute. | |
| bool llzkAttributeIsA_Bool_FeltCmpPredicateAttr | ( | MlirAttribute | inp | ) |
Returns true if the Attribute is a ::llzk::boolean::FeltCmpPredicateAttr.
Definition at line 19 of file Attrs.capi.cpp.inc.
| MlirAttribute llzkBool_FeltCmpPredicateAttrGet | ( | MlirContext | ctx, |
| LlzkBooleanFeltCmpPredicate | value ) |
Create a ::llzk::boolean::FeltCmpPredicateAttr Attribute with the given parameters.
Definition at line 23 of file Attrs.capi.cpp.inc.
| LlzkBooleanFeltCmpPredicate llzkBool_FeltCmpPredicateAttrGetValue | ( | MlirAttribute | inp | ) |
Get 'value' parameter from a ::llzk::boolean::FeltCmpPredicateAttr Attribute.
Definition at line 28 of file Attrs.capi.cpp.inc.