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

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

Function Documentation

◆ llzkConstrain_EmitContainmentOpBuild()

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()

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()

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()

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()

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()

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()

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()

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()

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()

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()

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()

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.

Functions