#include <limits>

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

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

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

Function Documentation

◆ llzkCast_FeltToIndexOpBuild()

MlirOperation llzkCast_FeltToIndexOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	value,
		MlirAttribute	overflow )

Build a llzk::cast::FeltToIndexOp Operation.

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

◆ llzkCast_FeltToIndexOpGetOverflow()

MlirAttribute llzkCast_FeltToIndexOpGetOverflow ( MlirOperation op )

Get Overflow attribute from llzk::cast::FeltToIndexOp Operation.

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

◆ llzkCast_FeltToIndexOpGetResult()

MlirValue llzkCast_FeltToIndexOpGetResult ( MlirOperation op )

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

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

◆ llzkCast_FeltToIndexOpGetValue()

MlirValue llzkCast_FeltToIndexOpGetValue ( MlirOperation op )

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

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

◆ llzkCast_FeltToIndexOpSetOverflow()

void llzkCast_FeltToIndexOpSetOverflow	(	MlirOperation	op,
		MlirAttribute	attr )

Set Overflow attribute of llzk::cast::FeltToIndexOp Operation.

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

◆ llzkCast_FeltToIndexOpSetValue()

void llzkCast_FeltToIndexOpSetValue	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkCast_IntToFeltOpBuild()

MlirOperation llzkCast_IntToFeltOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	value,
		MlirAttribute	overflow )

Build a llzk::cast::IntToFeltOp Operation.

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

◆ llzkCast_IntToFeltOpGetOverflow()

MlirAttribute llzkCast_IntToFeltOpGetOverflow ( MlirOperation op )

Get Overflow attribute from llzk::cast::IntToFeltOp Operation.

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

◆ llzkCast_IntToFeltOpGetResult()

MlirValue llzkCast_IntToFeltOpGetResult ( MlirOperation op )

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

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

◆ llzkCast_IntToFeltOpGetValue()

MlirValue llzkCast_IntToFeltOpGetValue ( MlirOperation op )

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

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

◆ llzkCast_IntToFeltOpSetOverflow()

void llzkCast_IntToFeltOpSetOverflow	(	MlirOperation	op,
		MlirAttribute	attr )

Set Overflow attribute of llzk::cast::IntToFeltOp Operation.

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

◆ llzkCast_IntToFeltOpSetValue()

void llzkCast_IntToFeltOpSetValue	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkOperationIsA_Cast_FeltToIndexOp()

bool llzkOperationIsA_Cast_FeltToIndexOp ( MlirOperation inp )

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

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

◆ llzkOperationIsA_Cast_IntToFeltOp()

bool llzkOperationIsA_Cast_IntToFeltOp ( MlirOperation inp )

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

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

Functions