Felt.cpp File Reference

#include "llzk/Dialect/Felt/IR/Attrs.h"
#include "llzk/Dialect/Felt/IR/Dialect.h"
#include "llzk/Dialect/Felt/IR/Types.h"
#include "llzk/Dialect/LLZK/IR/AttributeHelper.h"
#include "llzk-c/Dialect/Felt.h"
#include <mlir/CAPI/Registration.h>
#include <mlir/CAPI/Wrap.h>

Include dependency graph for Felt.cpp:

Go to the source code of this file.

Functions
MlirAttribute	llzkFeltConstAttrGet (MlirContext ctx, int64_t value)
	Creates a llzk::felt::FeltConstAttr.
bool	llzkAttributeIsAFeltConstAttr (MlirAttribute attr)
MlirType	llzkFeltTypeGet (MlirContext ctx)
	Creates a llzk::felt::FeltType.
bool	llzkTypeIsAFeltType (MlirType type)

Function Documentation

llzkAttributeIsAFeltConstAttr()

bool llzkAttributeIsAFeltConstAttr

(

MlirAttribute

attr

)

Definition at line 28 of file Felt.cpp.

llzkFeltConstAttrGet()

MlirAttribute llzkFeltConstAttrGet	(	MlirContext	ctx,
		int64_t	value )

Creates a llzk::felt::FeltConstAttr.

Definition at line 24 of file Felt.cpp.

llzkFeltTypeGet()

MlirType llzkFeltTypeGet

(

MlirContext

ctx

)

Creates a llzk::felt::FeltType.

Definition at line 32 of file Felt.cpp.

llzkTypeIsAFeltType()

bool llzkTypeIsAFeltType

(

MlirType

type

)

Definition at line 34 of file Felt.cpp.