Felt.h File Reference

#include "llzk-c/Support.h"
#include <mlir-c/IR.h>

Include dependency graph for Felt.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
	MLIR_DECLARE_CAPI_DIALECT_REGISTRATION (Felt, llzk__felt)
MLIR_CAPI_EXPORTED MlirAttribute	llzkFeltConstAttrGet (MlirContext context, int64_t value)
	Creates a llzk::felt::FeltConstAttr.
	LLZK_DECLARE_ATTR_ISA (FeltConstAttr)
	Returns true if the attribute is a FeltConstAttr.
MLIR_CAPI_EXPORTED MlirType	llzkFeltTypeGet (MlirContext context)
	Creates a llzk::felt::FeltType.
	LLZK_DECLARE_TYPE_ISA (FeltType)
	Returns true if the type is a FeltType.

Function Documentation

LLZK_DECLARE_ATTR_ISA()

LLZK_DECLARE_ATTR_ISA

(

FeltConstAttr

)

Returns true if the attribute is a FeltConstAttr.

LLZK_DECLARE_TYPE_ISA()

LLZK_DECLARE_TYPE_ISA

(

FeltType

)

Returns true if the type is a FeltType.

llzkFeltConstAttrGet()

MLIR_CAPI_EXPORTED MlirAttribute llzkFeltConstAttrGet	(	MlirContext	context,
		int64_t	value )

Creates a llzk::felt::FeltConstAttr.

Definition at line 24 of file Felt.cpp.

llzkFeltTypeGet()

MLIR_CAPI_EXPORTED MlirType llzkFeltTypeGet

(

MlirContext

context

)

Creates a llzk::felt::FeltType.

Definition at line 32 of file Felt.cpp.

MLIR_DECLARE_CAPI_DIALECT_REGISTRATION()

MLIR_DECLARE_CAPI_DIALECT_REGISTRATION	(	Felt	,
		llzk__felt	)