LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
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 llzkLlzk_NonDetOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resType)
 Build a llzk::NonDetOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Llzk_NonDetOp (MlirOperation)
 Returns true if the Operation is a llzk::NonDetOp.
MLIR_CAPI_EXPORTED MlirValue llzkLlzk_NonDetOpGetRes (MlirOperation op)
 Get Res result from llzk::NonDetOp Operation.

Function Documentation

◆ llzkLlzk_NonDetOpBuild()

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

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

MLIR_CAPI_EXPORTED 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.