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	llzkBool_ExistsOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue sort)
	Build a llzk::boolean::ExistsOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Bool_ExistsOp (MlirOperation)
	Returns true if the Operation is a llzk::boolean::ExistsOp.
MLIR_CAPI_EXPORTED MlirValue	llzkBool_ExistsOpGetSort (MlirOperation op)
	Get Sort operand from llzk::boolean::ExistsOp Operation.
MLIR_CAPI_EXPORTED void	llzkBool_ExistsOpSetSort (MlirOperation op, MlirValue value)
	Set Sort operand of llzk::boolean::ExistsOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkBool_ExistsOpGetResult (MlirOperation op)
	Get Result result from llzk::boolean::ExistsOp Operation.
MLIR_CAPI_EXPORTED MlirRegion	llzkBool_ExistsOpGetRegion (MlirOperation op)
	Get Region region from llzk::boolean::ExistsOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkBool_ForAllOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue sort)
	Build a llzk::boolean::ForAllOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Bool_ForAllOp (MlirOperation)
	Returns true if the Operation is a llzk::boolean::ForAllOp.
MLIR_CAPI_EXPORTED MlirValue	llzkBool_ForAllOpGetSort (MlirOperation op)
	Get Sort operand from llzk::boolean::ForAllOp Operation.
MLIR_CAPI_EXPORTED void	llzkBool_ForAllOpSetSort (MlirOperation op, MlirValue value)
	Set Sort operand of llzk::boolean::ForAllOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkBool_ForAllOpGetResult (MlirOperation op)
	Get Result result from llzk::boolean::ForAllOp Operation.
MLIR_CAPI_EXPORTED MlirRegion	llzkBool_ForAllOpGetRegion (MlirOperation op)
	Get Region region from llzk::boolean::ForAllOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkBool_AndBoolOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs)
	Build a llzk::boolean::AndBoolOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Bool_AndBoolOp (MlirOperation)
	Returns true if the Operation is a llzk::boolean::AndBoolOp.
MLIR_CAPI_EXPORTED MlirValue	llzkBool_AndBoolOpGetLhs (MlirOperation op)
	Get Lhs operand from llzk::boolean::AndBoolOp Operation.
MLIR_CAPI_EXPORTED void	llzkBool_AndBoolOpSetLhs (MlirOperation op, MlirValue value)
	Set Lhs operand of llzk::boolean::AndBoolOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkBool_AndBoolOpGetRhs (MlirOperation op)
	Get Rhs operand from llzk::boolean::AndBoolOp Operation.
MLIR_CAPI_EXPORTED void	llzkBool_AndBoolOpSetRhs (MlirOperation op, MlirValue value)
	Set Rhs operand of llzk::boolean::AndBoolOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkBool_AndBoolOpGetResult (MlirOperation op)
	Get Result result from llzk::boolean::AndBoolOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkBool_AssertOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition, MlirIdentifier msg)
	Build a llzk::boolean::AssertOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Bool_AssertOp (MlirOperation)
	Returns true if the Operation is a llzk::boolean::AssertOp.
MLIR_CAPI_EXPORTED MlirValue	llzkBool_AssertOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::boolean::AssertOp Operation.
MLIR_CAPI_EXPORTED void	llzkBool_AssertOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::boolean::AssertOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute	llzkBool_AssertOpGetMsg (MlirOperation op)
	Get Msg attribute from llzk::boolean::AssertOp Operation.
MLIR_CAPI_EXPORTED void	llzkBool_AssertOpSetMsg (MlirOperation op, MlirAttribute attr)
	Set Msg attribute of llzk::boolean::AssertOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkBool_CmpOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs, MlirAttribute predicate)
	Build a llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Bool_CmpOp (MlirOperation)
	Returns true if the Operation is a llzk::boolean::CmpOp.
MLIR_CAPI_EXPORTED MlirValue	llzkBool_CmpOpGetLhs (MlirOperation op)
	Get Lhs operand from llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED void	llzkBool_CmpOpSetLhs (MlirOperation op, MlirValue value)
	Set Lhs operand of llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkBool_CmpOpGetRhs (MlirOperation op)
	Get Rhs operand from llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED void	llzkBool_CmpOpSetRhs (MlirOperation op, MlirValue value)
	Set Rhs operand of llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute	llzkBool_CmpOpGetPredicate (MlirOperation op)
	Get Predicate attribute from llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED void	llzkBool_CmpOpSetPredicate (MlirOperation op, MlirAttribute attr)
	Set Predicate attribute of llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkBool_CmpOpGetResult (MlirOperation op)
	Get Result result from llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkBool_NotBoolOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue operand)
	Build a llzk::boolean::NotBoolOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Bool_NotBoolOp (MlirOperation)
	Returns true if the Operation is a llzk::boolean::NotBoolOp.
MLIR_CAPI_EXPORTED MlirValue	llzkBool_NotBoolOpGetOperand (MlirOperation op)
	Get Operand operand from llzk::boolean::NotBoolOp Operation.
MLIR_CAPI_EXPORTED void	llzkBool_NotBoolOpSetOperand (MlirOperation op, MlirValue value)
	Set Operand operand of llzk::boolean::NotBoolOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkBool_NotBoolOpGetResult (MlirOperation op)
	Get Result result from llzk::boolean::NotBoolOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkBool_OrBoolOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs)
	Build a llzk::boolean::OrBoolOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Bool_OrBoolOp (MlirOperation)
	Returns true if the Operation is a llzk::boolean::OrBoolOp.
MLIR_CAPI_EXPORTED MlirValue	llzkBool_OrBoolOpGetLhs (MlirOperation op)
	Get Lhs operand from llzk::boolean::OrBoolOp Operation.
MLIR_CAPI_EXPORTED void	llzkBool_OrBoolOpSetLhs (MlirOperation op, MlirValue value)
	Set Lhs operand of llzk::boolean::OrBoolOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkBool_OrBoolOpGetRhs (MlirOperation op)
	Get Rhs operand from llzk::boolean::OrBoolOp Operation.
MLIR_CAPI_EXPORTED void	llzkBool_OrBoolOpSetRhs (MlirOperation op, MlirValue value)
	Set Rhs operand of llzk::boolean::OrBoolOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkBool_OrBoolOpGetResult (MlirOperation op)
	Get Result result from llzk::boolean::OrBoolOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkBool_XorBoolOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs)
	Build a llzk::boolean::XorBoolOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Bool_XorBoolOp (MlirOperation)
	Returns true if the Operation is a llzk::boolean::XorBoolOp.
MLIR_CAPI_EXPORTED MlirValue	llzkBool_XorBoolOpGetLhs (MlirOperation op)
	Get Lhs operand from llzk::boolean::XorBoolOp Operation.
MLIR_CAPI_EXPORTED void	llzkBool_XorBoolOpSetLhs (MlirOperation op, MlirValue value)
	Set Lhs operand of llzk::boolean::XorBoolOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkBool_XorBoolOpGetRhs (MlirOperation op)
	Get Rhs operand from llzk::boolean::XorBoolOp Operation.
MLIR_CAPI_EXPORTED void	llzkBool_XorBoolOpSetRhs (MlirOperation op, MlirValue value)
	Set Rhs operand of llzk::boolean::XorBoolOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkBool_XorBoolOpGetResult (MlirOperation op)
	Get Result result from llzk::boolean::XorBoolOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkBool_YieldOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue value)
	Build a llzk::boolean::YieldOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Bool_YieldOp (MlirOperation)
	Returns true if the Operation is a llzk::boolean::YieldOp.
MLIR_CAPI_EXPORTED MlirValue	llzkBool_YieldOpGetValue (MlirOperation op)
	Get Value operand from llzk::boolean::YieldOp Operation.
MLIR_CAPI_EXPORTED void	llzkBool_YieldOpSetValue (MlirOperation op, MlirValue value)
	Set Value operand of llzk::boolean::YieldOp Operation.

Function Documentation

llzkBool_AndBoolOpBuild()

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

Build a llzk::boolean::AndBoolOp Operation.

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

llzkBool_AndBoolOpGetLhs()

MLIR_CAPI_EXPORTED MlirValue llzkBool_AndBoolOpGetLhs

(

MlirOperation

op

)

Get Lhs operand from llzk::boolean::AndBoolOp Operation.

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

llzkBool_AndBoolOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkBool_AndBoolOpGetResult

(

MlirOperation

op

)

Get Result result from llzk::boolean::AndBoolOp Operation.

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

llzkBool_AndBoolOpGetRhs()

MLIR_CAPI_EXPORTED MlirValue llzkBool_AndBoolOpGetRhs

(

MlirOperation

op

)

Get Rhs operand from llzk::boolean::AndBoolOp Operation.

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

llzkBool_AndBoolOpSetLhs()

MLIR_CAPI_EXPORTED void llzkBool_AndBoolOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

Set Lhs operand of llzk::boolean::AndBoolOp Operation.

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

llzkBool_AndBoolOpSetRhs()

MLIR_CAPI_EXPORTED void llzkBool_AndBoolOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

Set Rhs operand of llzk::boolean::AndBoolOp Operation.

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

llzkBool_AssertOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkBool_AssertOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition,
		MlirIdentifier	msg )

Build a llzk::boolean::AssertOp Operation.

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

llzkBool_AssertOpGetCondition()

MLIR_CAPI_EXPORTED MlirValue llzkBool_AssertOpGetCondition

(

MlirOperation

op

)

Get Condition operand from llzk::boolean::AssertOp Operation.

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

llzkBool_AssertOpGetMsg()

MLIR_CAPI_EXPORTED MlirAttribute llzkBool_AssertOpGetMsg

(

MlirOperation

op

)

Get Msg attribute from llzk::boolean::AssertOp Operation.

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

llzkBool_AssertOpSetCondition()

MLIR_CAPI_EXPORTED void llzkBool_AssertOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::boolean::AssertOp Operation.

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

llzkBool_AssertOpSetMsg()

MLIR_CAPI_EXPORTED void llzkBool_AssertOpSetMsg	(	MlirOperation	op,
		MlirAttribute	attr )

Set Msg attribute of llzk::boolean::AssertOp Operation.

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

llzkBool_CmpOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkBool_CmpOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	lhs,
		MlirValue	rhs,
		MlirAttribute	predicate )

Build a llzk::boolean::CmpOp Operation.

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

llzkBool_CmpOpGetLhs()

MLIR_CAPI_EXPORTED MlirValue llzkBool_CmpOpGetLhs

(

MlirOperation

op

)

Get Lhs operand from llzk::boolean::CmpOp Operation.

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

llzkBool_CmpOpGetPredicate()

MLIR_CAPI_EXPORTED MlirAttribute llzkBool_CmpOpGetPredicate

(

MlirOperation

op

)

Get Predicate attribute from llzk::boolean::CmpOp Operation.

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

llzkBool_CmpOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkBool_CmpOpGetResult

(

MlirOperation

op

)

Get Result result from llzk::boolean::CmpOp Operation.

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

llzkBool_CmpOpGetRhs()

MLIR_CAPI_EXPORTED MlirValue llzkBool_CmpOpGetRhs

(

MlirOperation

op

)

Get Rhs operand from llzk::boolean::CmpOp Operation.

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

llzkBool_CmpOpSetLhs()

MLIR_CAPI_EXPORTED void llzkBool_CmpOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

Set Lhs operand of llzk::boolean::CmpOp Operation.

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

llzkBool_CmpOpSetPredicate()

MLIR_CAPI_EXPORTED void llzkBool_CmpOpSetPredicate	(	MlirOperation	op,
		MlirAttribute	attr )

Set Predicate attribute of llzk::boolean::CmpOp Operation.

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

llzkBool_CmpOpSetRhs()

MLIR_CAPI_EXPORTED void llzkBool_CmpOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

Set Rhs operand of llzk::boolean::CmpOp Operation.

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

llzkBool_ExistsOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkBool_ExistsOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	sort )

Build a llzk::boolean::ExistsOp Operation.

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

llzkBool_ExistsOpGetRegion()

MLIR_CAPI_EXPORTED MlirRegion llzkBool_ExistsOpGetRegion

(

MlirOperation

op

)

Get Region region from llzk::boolean::ExistsOp Operation.

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

llzkBool_ExistsOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkBool_ExistsOpGetResult

(

MlirOperation

op

)

Get Result result from llzk::boolean::ExistsOp Operation.

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

llzkBool_ExistsOpGetSort()

MLIR_CAPI_EXPORTED MlirValue llzkBool_ExistsOpGetSort

(

MlirOperation

op

)

Get Sort operand from llzk::boolean::ExistsOp Operation.

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

llzkBool_ExistsOpSetSort()

MLIR_CAPI_EXPORTED void llzkBool_ExistsOpSetSort	(	MlirOperation	op,
		MlirValue	value )

Set Sort operand of llzk::boolean::ExistsOp Operation.

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

llzkBool_ForAllOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkBool_ForAllOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	sort )

Build a llzk::boolean::ForAllOp Operation.

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

llzkBool_ForAllOpGetRegion()

MLIR_CAPI_EXPORTED MlirRegion llzkBool_ForAllOpGetRegion

(

MlirOperation

op

)

Get Region region from llzk::boolean::ForAllOp Operation.

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

llzkBool_ForAllOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkBool_ForAllOpGetResult

(

MlirOperation

op

)

Get Result result from llzk::boolean::ForAllOp Operation.

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

llzkBool_ForAllOpGetSort()

MLIR_CAPI_EXPORTED MlirValue llzkBool_ForAllOpGetSort

(

MlirOperation

op

)

Get Sort operand from llzk::boolean::ForAllOp Operation.

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

llzkBool_ForAllOpSetSort()

MLIR_CAPI_EXPORTED void llzkBool_ForAllOpSetSort	(	MlirOperation	op,
		MlirValue	value )

Set Sort operand of llzk::boolean::ForAllOp Operation.

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

llzkBool_NotBoolOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkBool_NotBoolOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	operand )

Build a llzk::boolean::NotBoolOp Operation.

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

llzkBool_NotBoolOpGetOperand()

MLIR_CAPI_EXPORTED MlirValue llzkBool_NotBoolOpGetOperand

(

MlirOperation

op

)

Get Operand operand from llzk::boolean::NotBoolOp Operation.

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

llzkBool_NotBoolOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkBool_NotBoolOpGetResult

(

MlirOperation

op

)

Get Result result from llzk::boolean::NotBoolOp Operation.

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

llzkBool_NotBoolOpSetOperand()

MLIR_CAPI_EXPORTED void llzkBool_NotBoolOpSetOperand	(	MlirOperation	op,
		MlirValue	value )

Set Operand operand of llzk::boolean::NotBoolOp Operation.

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

llzkBool_OrBoolOpBuild()

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

Build a llzk::boolean::OrBoolOp Operation.

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

llzkBool_OrBoolOpGetLhs()

MLIR_CAPI_EXPORTED MlirValue llzkBool_OrBoolOpGetLhs

(

MlirOperation

op

)

Get Lhs operand from llzk::boolean::OrBoolOp Operation.

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

llzkBool_OrBoolOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkBool_OrBoolOpGetResult

(

MlirOperation

op

)

Get Result result from llzk::boolean::OrBoolOp Operation.

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

llzkBool_OrBoolOpGetRhs()

MLIR_CAPI_EXPORTED MlirValue llzkBool_OrBoolOpGetRhs

(

MlirOperation

op

)

Get Rhs operand from llzk::boolean::OrBoolOp Operation.

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

llzkBool_OrBoolOpSetLhs()

MLIR_CAPI_EXPORTED void llzkBool_OrBoolOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

Set Lhs operand of llzk::boolean::OrBoolOp Operation.

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

llzkBool_OrBoolOpSetRhs()

MLIR_CAPI_EXPORTED void llzkBool_OrBoolOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

Set Rhs operand of llzk::boolean::OrBoolOp Operation.

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

llzkBool_XorBoolOpBuild()

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

Build a llzk::boolean::XorBoolOp Operation.

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

llzkBool_XorBoolOpGetLhs()

MLIR_CAPI_EXPORTED MlirValue llzkBool_XorBoolOpGetLhs

(

MlirOperation

op

)

Get Lhs operand from llzk::boolean::XorBoolOp Operation.

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

llzkBool_XorBoolOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkBool_XorBoolOpGetResult

(

MlirOperation

op

)

Get Result result from llzk::boolean::XorBoolOp Operation.

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

llzkBool_XorBoolOpGetRhs()

MLIR_CAPI_EXPORTED MlirValue llzkBool_XorBoolOpGetRhs

(

MlirOperation

op

)

Get Rhs operand from llzk::boolean::XorBoolOp Operation.

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

llzkBool_XorBoolOpSetLhs()

MLIR_CAPI_EXPORTED void llzkBool_XorBoolOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

Set Lhs operand of llzk::boolean::XorBoolOp Operation.

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

llzkBool_XorBoolOpSetRhs()

MLIR_CAPI_EXPORTED void llzkBool_XorBoolOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

Set Rhs operand of llzk::boolean::XorBoolOp Operation.

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

llzkBool_YieldOpBuild()

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

Build a llzk::boolean::YieldOp Operation.

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

llzkBool_YieldOpGetValue()

MLIR_CAPI_EXPORTED MlirValue llzkBool_YieldOpGetValue

(

MlirOperation

op

)

Get Value operand from llzk::boolean::YieldOp Operation.

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

llzkBool_YieldOpSetValue()

MLIR_CAPI_EXPORTED void llzkBool_YieldOpSetValue	(	MlirOperation	op,
		MlirValue	value )

Set Value operand of llzk::boolean::YieldOp Operation.

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

llzkOperationIsA_Bool_AndBoolOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_AndBoolOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::boolean::AndBoolOp.

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

llzkOperationIsA_Bool_AssertOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_AssertOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::boolean::AssertOp.

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

llzkOperationIsA_Bool_CmpOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_CmpOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::boolean::CmpOp.

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

llzkOperationIsA_Bool_ExistsOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_ExistsOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::boolean::ExistsOp.

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

llzkOperationIsA_Bool_ForAllOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_ForAllOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::boolean::ForAllOp.

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

llzkOperationIsA_Bool_NotBoolOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_NotBoolOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::boolean::NotBoolOp.

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

llzkOperationIsA_Bool_OrBoolOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_OrBoolOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::boolean::OrBoolOp.

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

llzkOperationIsA_Bool_XorBoolOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_XorBoolOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::boolean::XorBoolOp.

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

llzkOperationIsA_Bool_YieldOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_YieldOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::boolean::YieldOp.

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