Ops.capi.h.inc File Reference

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

Go to the source code of this file.

Functions
MLIR_CAPI_EXPORTED MlirOperation	llzkConstrain_EmitContainmentOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs)
	Build a llzk::constrain::EmitContainmentOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Constrain_EmitContainmentOp (MlirOperation)
	Returns true if the Operation is a llzk::constrain::EmitContainmentOp.
MLIR_CAPI_EXPORTED MlirValue	llzkConstrain_EmitContainmentOpGetLhs (MlirOperation op)
	Get Lhs operand from llzk::constrain::EmitContainmentOp Operation.
MLIR_CAPI_EXPORTED void	llzkConstrain_EmitContainmentOpSetLhs (MlirOperation op, MlirValue value)
	Set Lhs operand of llzk::constrain::EmitContainmentOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkConstrain_EmitContainmentOpGetRhs (MlirOperation op)
	Get Rhs operand from llzk::constrain::EmitContainmentOp Operation.
MLIR_CAPI_EXPORTED void	llzkConstrain_EmitContainmentOpSetRhs (MlirOperation op, MlirValue value)
	Set Rhs operand of llzk::constrain::EmitContainmentOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkConstrain_EmitEqualityOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs)
	Build a llzk::constrain::EmitEqualityOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Constrain_EmitEqualityOp (MlirOperation)
	Returns true if the Operation is a llzk::constrain::EmitEqualityOp.
MLIR_CAPI_EXPORTED MlirValue	llzkConstrain_EmitEqualityOpGetLhs (MlirOperation op)
	Get Lhs operand from llzk::constrain::EmitEqualityOp Operation.
MLIR_CAPI_EXPORTED void	llzkConstrain_EmitEqualityOpSetLhs (MlirOperation op, MlirValue value)
	Set Lhs operand of llzk::constrain::EmitEqualityOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkConstrain_EmitEqualityOpGetRhs (MlirOperation op)
	Get Rhs operand from llzk::constrain::EmitEqualityOp Operation.
MLIR_CAPI_EXPORTED void	llzkConstrain_EmitEqualityOpSetRhs (MlirOperation op, MlirValue value)
	Set Rhs operand of llzk::constrain::EmitEqualityOp Operation.

Function Documentation

llzkConstrain_EmitContainmentOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkConstrain_EmitContainmentOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	lhs,
		MlirValue	rhs )

Build a llzk::constrain::EmitContainmentOp Operation.

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

llzkConstrain_EmitContainmentOpGetLhs()

MLIR_CAPI_EXPORTED MlirValue llzkConstrain_EmitContainmentOpGetLhs

(

MlirOperation

op

)

Get Lhs operand from llzk::constrain::EmitContainmentOp Operation.

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

llzkConstrain_EmitContainmentOpGetRhs()

MLIR_CAPI_EXPORTED MlirValue llzkConstrain_EmitContainmentOpGetRhs

(

MlirOperation

op

)

Get Rhs operand from llzk::constrain::EmitContainmentOp Operation.

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

llzkConstrain_EmitContainmentOpSetLhs()

MLIR_CAPI_EXPORTED void llzkConstrain_EmitContainmentOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

Set Lhs operand of llzk::constrain::EmitContainmentOp Operation.

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

llzkConstrain_EmitContainmentOpSetRhs()

MLIR_CAPI_EXPORTED void llzkConstrain_EmitContainmentOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

Set Rhs operand of llzk::constrain::EmitContainmentOp Operation.

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

llzkConstrain_EmitEqualityOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkConstrain_EmitEqualityOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	lhs,
		MlirValue	rhs )

Build a llzk::constrain::EmitEqualityOp Operation.

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

llzkConstrain_EmitEqualityOpGetLhs()

MLIR_CAPI_EXPORTED MlirValue llzkConstrain_EmitEqualityOpGetLhs

(

MlirOperation

op

)

Get Lhs operand from llzk::constrain::EmitEqualityOp Operation.

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

llzkConstrain_EmitEqualityOpGetRhs()

MLIR_CAPI_EXPORTED MlirValue llzkConstrain_EmitEqualityOpGetRhs

(

MlirOperation

op

)

Get Rhs operand from llzk::constrain::EmitEqualityOp Operation.

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

llzkConstrain_EmitEqualityOpSetLhs()

MLIR_CAPI_EXPORTED void llzkConstrain_EmitEqualityOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

Set Lhs operand of llzk::constrain::EmitEqualityOp Operation.

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

llzkConstrain_EmitEqualityOpSetRhs()

MLIR_CAPI_EXPORTED void llzkConstrain_EmitEqualityOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

Set Rhs operand of llzk::constrain::EmitEqualityOp Operation.

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

llzkOperationIsA_Constrain_EmitContainmentOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Constrain_EmitContainmentOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::constrain::EmitContainmentOp.

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

llzkOperationIsA_Constrain_EmitEqualityOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Constrain_EmitEqualityOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::constrain::EmitEqualityOp.

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