#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:

Functions
MLIR_CAPI_EXPORTED bool	llzkAttributeIsA_Felt_FeltConstAttr (MlirAttribute)
	Returns true if the Attribute is a ::llzk::felt::FeltConstAttr.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFelt_FeltConstAttrGet (MlirContext ctx, MlirStringRef rawValue, MlirType type)
	Create a ::llzk::felt::FeltConstAttr Attribute with the given parameters.
MLIR_CAPI_EXPORTED void	llzkFelt_FeltConstAttrGetRawValue (MlirAttribute, MlirStringCallback callback, void *userData)
	Print the exact signed decimal 'rawValue' value. The callback must copy the text to retain it.
MLIR_CAPI_EXPORTED MlirType	llzkFelt_FeltConstAttrGetType (MlirAttribute)
	Get 'type' parameter from a ::llzk::felt::FeltConstAttr Attribute.
MLIR_CAPI_EXPORTED MlirIdentifier	llzkFelt_FeltConstAttrGetFieldName (MlirAttribute inp)
	Returns the field name from the stored FeltType, or a null StringAttr if no type is stored.
MLIR_CAPI_EXPORTED void	llzkFelt_FeltConstAttrGetReducedValueOrRaw (MlirAttribute inp, MlirStringCallback callback, void *userData)
	If the type specifies a field, returns getReducedValue(); otherwise getRawValue().
MLIR_CAPI_EXPORTED bool	llzkAttributeIsA_Felt_FieldSpecAttr (MlirAttribute)
	Returns true if the Attribute is a ::llzk::felt::FieldSpecAttr.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFelt_FieldSpecAttrGet (MlirContext ctx, MlirIdentifier fieldName, MlirStringRef prime)
	Create a ::llzk::felt::FieldSpecAttr Attribute with the given parameters.
MLIR_CAPI_EXPORTED MlirIdentifier	llzkFelt_FieldSpecAttrGetFieldName (MlirAttribute)
	Get 'fieldName' parameter from a ::llzk::felt::FieldSpecAttr Attribute.
MLIR_CAPI_EXPORTED void	llzkFelt_FieldSpecAttrGetPrime (MlirAttribute, MlirStringCallback callback, void *userData)
	Print the exact signed decimal 'prime' value. The callback must copy the text to retain it.

Function Documentation

◆ llzkAttributeIsA_Felt_FeltConstAttr()

MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Felt_FeltConstAttr ( MlirAttribute inp )

Returns true if the Attribute is a ::llzk::felt::FeltConstAttr.

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

◆ llzkAttributeIsA_Felt_FieldSpecAttr()

MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Felt_FieldSpecAttr ( MlirAttribute inp )

Returns true if the Attribute is a ::llzk::felt::FieldSpecAttr.

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

◆ llzkFelt_FeltConstAttrGet()

MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FeltConstAttrGet	(	MlirContext	ctx,
		MlirStringRef	rawValue,
		MlirType	type )

Create a ::llzk::felt::FeltConstAttr Attribute with the given parameters.

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

◆ llzkFelt_FeltConstAttrGetFieldName()

MLIR_CAPI_EXPORTED MlirIdentifier llzkFelt_FeltConstAttrGetFieldName ( MlirAttribute inp )

Returns the field name from the stored FeltType, or a null StringAttr if no type is stored.

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

◆ llzkFelt_FeltConstAttrGetRawValue()

MLIR_CAPI_EXPORTED void llzkFelt_FeltConstAttrGetRawValue	(	MlirAttribute	inp,
		MlirStringCallback	callback,
		void *	userData )

Print the exact signed decimal 'rawValue' value. The callback must copy the text to retain it.

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

◆ llzkFelt_FeltConstAttrGetReducedValueOrRaw()

MLIR_CAPI_EXPORTED void llzkFelt_FeltConstAttrGetReducedValueOrRaw	(	MlirAttribute	inp,
		MlirStringCallback	callback,
		void *	userData )

If the type specifies a field, returns getReducedValue(); otherwise getRawValue().

Use getReducedValue() when folding requires a known field representative.

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

◆ llzkFelt_FeltConstAttrGetType()

MLIR_CAPI_EXPORTED MlirType llzkFelt_FeltConstAttrGetType ( MlirAttribute inp )

Get 'type' parameter from a ::llzk::felt::FeltConstAttr Attribute.

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

◆ llzkFelt_FieldSpecAttrGet()

MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FieldSpecAttrGet	(	MlirContext	ctx,
		MlirIdentifier	fieldName,
		MlirStringRef	prime )

Create a ::llzk::felt::FieldSpecAttr Attribute with the given parameters.

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

◆ llzkFelt_FieldSpecAttrGetFieldName()

MLIR_CAPI_EXPORTED MlirIdentifier llzkFelt_FieldSpecAttrGetFieldName ( MlirAttribute inp )

Get 'fieldName' parameter from a ::llzk::felt::FieldSpecAttr Attribute.

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

◆ llzkFelt_FieldSpecAttrGetPrime()

MLIR_CAPI_EXPORTED void llzkFelt_FieldSpecAttrGetPrime	(	MlirAttribute	inp,
		MlirStringCallback	callback,
		void *	userData )

Print the exact signed decimal 'prime' value. The callback must copy the text to retain it.

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

Functions