Ops.capi.cpp.inc File Reference

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

Go to the source code of this file.

Functions
MlirOperation	llzkLlzk_NonDetOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resType)
	Build a llzk::NonDetOp Operation.
bool	llzkOperationIsA_Llzk_NonDetOp (MlirOperation inp)
	Returns true if the Operation is a llzk::NonDetOp.
MlirValue	llzkLlzk_NonDetOpGetRes (MlirOperation op)
	Get Res result from llzk::NonDetOp Operation.

Function Documentation

llzkLlzk_NonDetOpBuild()

MlirOperation llzkLlzk_NonDetOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirType	resType )

Build a llzk::NonDetOp Operation.

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

llzkLlzk_NonDetOpGetRes()

MlirValue llzkLlzk_NonDetOpGetRes

(

MlirOperation

op

)

Get Res result from llzk::NonDetOp Operation.

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

llzkOperationIsA_Llzk_NonDetOp()

bool llzkOperationIsA_Llzk_NonDetOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::NonDetOp.

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