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

Function Documentation

◆ llzkAttributeIsA_Bool_FeltCmpPredicateAttr()

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.

◆ llzkBool_FeltCmpPredicateAttrGet()

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.

◆ llzkBool_FeltCmpPredicateAttrGetValue()

LlzkBooleanFeltCmpPredicate llzkBool_FeltCmpPredicateAttrGetValue ( MlirAttribute inp)

Get 'value' parameter from a ::llzk::boolean::FeltCmpPredicateAttr Attribute.

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