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_Bool_FeltCmpPredicateAttr (MlirAttribute)
	Returns true if the Attribute is a ::llzk::boolean::FeltCmpPredicateAttr.
MLIR_CAPI_EXPORTED MlirAttribute	llzkBool_FeltCmpPredicateAttrGet (MlirContext ctx, LlzkBooleanFeltCmpPredicate value)
	Create a ::llzk::boolean::FeltCmpPredicateAttr Attribute with the given parameters.
MLIR_CAPI_EXPORTED LlzkBooleanFeltCmpPredicate	llzkBool_FeltCmpPredicateAttrGetValue (MlirAttribute)
	Get 'value' parameter from a ::llzk::boolean::FeltCmpPredicateAttr Attribute.

Function Documentation

llzkAttributeIsA_Bool_FeltCmpPredicateAttr()

MLIR_CAPI_EXPORTED 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()

MLIR_CAPI_EXPORTED 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()

MLIR_CAPI_EXPORTED LlzkBooleanFeltCmpPredicate llzkBool_FeltCmpPredicateAttrGetValue

(

MlirAttribute

inp

)

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

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