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

Include dependency graph for Ops.capi.h.inc:

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

Functions
MLIR_CAPI_EXPORTED MlirOperation	llzkCast_FeltToIndexOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue value)
	Build a llzk::cast::FeltToIndexOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Cast_FeltToIndexOp (MlirOperation)
	Returns true if the Operation is a llzk::cast::FeltToIndexOp.
MLIR_CAPI_EXPORTED MlirValue	llzkCast_FeltToIndexOpGetValue (MlirOperation op)
	Get Value operand from llzk::cast::FeltToIndexOp Operation.
MLIR_CAPI_EXPORTED void	llzkCast_FeltToIndexOpSetValue (MlirOperation op, MlirValue value)
	Set Value operand of llzk::cast::FeltToIndexOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkCast_FeltToIndexOpGetResult (MlirOperation op)
	Get Result result from llzk::cast::FeltToIndexOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkCast_IntToFeltOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue value)
	Build a llzk::cast::IntToFeltOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Cast_IntToFeltOp (MlirOperation)
	Returns true if the Operation is a llzk::cast::IntToFeltOp.
MLIR_CAPI_EXPORTED MlirValue	llzkCast_IntToFeltOpGetValue (MlirOperation op)
	Get Value operand from llzk::cast::IntToFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkCast_IntToFeltOpSetValue (MlirOperation op, MlirValue value)
	Set Value operand of llzk::cast::IntToFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkCast_IntToFeltOpGetResult (MlirOperation op)
	Get Result result from llzk::cast::IntToFeltOp Operation.

Function Documentation

◆ llzkCast_FeltToIndexOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkCast_FeltToIndexOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	value )

Build a llzk::cast::FeltToIndexOp Operation.

Definition at line 11 of file Ops.capi.cpp.inc.

◆ llzkCast_FeltToIndexOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkCast_FeltToIndexOpGetResult ( MlirOperation op )

Get Result result from llzk::cast::FeltToIndexOp Operation.

Definition at line 31 of file Ops.capi.cpp.inc.

◆ llzkCast_FeltToIndexOpGetValue()

MLIR_CAPI_EXPORTED MlirValue llzkCast_FeltToIndexOpGetValue ( MlirOperation op )

Get Value operand from llzk::cast::FeltToIndexOp Operation.

Definition at line 23 of file Ops.capi.cpp.inc.

◆ llzkCast_FeltToIndexOpSetValue()

MLIR_CAPI_EXPORTED void llzkCast_FeltToIndexOpSetValue	(	MlirOperation	op,
		MlirValue	value )

Set Value operand of llzk::cast::FeltToIndexOp Operation.

Definition at line 27 of file Ops.capi.cpp.inc.

◆ llzkCast_IntToFeltOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkCast_IntToFeltOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	value )

Build a llzk::cast::IntToFeltOp Operation.

Definition at line 35 of file Ops.capi.cpp.inc.

◆ llzkCast_IntToFeltOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkCast_IntToFeltOpGetResult ( MlirOperation op )

Get Result result from llzk::cast::IntToFeltOp Operation.

Definition at line 55 of file Ops.capi.cpp.inc.

◆ llzkCast_IntToFeltOpGetValue()

MLIR_CAPI_EXPORTED MlirValue llzkCast_IntToFeltOpGetValue ( MlirOperation op )

Get Value operand from llzk::cast::IntToFeltOp Operation.

Definition at line 47 of file Ops.capi.cpp.inc.

◆ llzkCast_IntToFeltOpSetValue()

MLIR_CAPI_EXPORTED void llzkCast_IntToFeltOpSetValue	(	MlirOperation	op,
		MlirValue	value )

Set Value operand of llzk::cast::IntToFeltOp Operation.

Definition at line 51 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Cast_FeltToIndexOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Cast_FeltToIndexOp ( MlirOperation inp )

Returns true if the Operation is a llzk::cast::FeltToIndexOp.

Definition at line 19 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Cast_IntToFeltOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Cast_IntToFeltOp ( MlirOperation inp )

Returns true if the Operation is a llzk::cast::IntToFeltOp.

Definition at line 43 of file Ops.capi.cpp.inc.

Functions