LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
Loading...
Searching...
No Matches
Ops.capi.h.inc
Go to the documentation of this file.
1
/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2
|* *|
3
|* Op C API Declarations *|
4
|* *|
5
|* Automatically generated file, do not edit! *|
6
|* From: Ops.td *|
7
|* *|
8
\*===----------------------------------------------------------------------===*/
9
10
11
#include "
llzk-c/Builder.h
"
12
#include <mlir-c/IR.h>
13
14
#ifdef __cplusplus
15
extern
"C"
{
16
#endif
17
19
MLIR_CAPI_EXPORTED MlirOperation
llzkLlzk_NonDetOpBuild
(MlirOpBuilder builder, MlirLocation location, MlirType resType);
20
22
MLIR_CAPI_EXPORTED
bool
llzkOperationIsA_Llzk_NonDetOp
(MlirOperation);
23
25
MLIR_CAPI_EXPORTED MlirValue
llzkLlzk_NonDetOpGetRes
(MlirOperation op);
26
27
#ifdef __cplusplus
28
}
29
#endif
llzkLlzk_NonDetOpBuild
MLIR_CAPI_EXPORTED MlirOperation llzkLlzk_NonDetOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resType)
Build a llzk::NonDetOp Operation.
Definition
Ops.capi.cpp.inc:16
llzkLlzk_NonDetOpGetRes
MLIR_CAPI_EXPORTED MlirValue llzkLlzk_NonDetOpGetRes(MlirOperation op)
Get Res result from llzk::NonDetOp Operation.
Definition
Ops.capi.cpp.inc:27
llzkOperationIsA_Llzk_NonDetOp
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Llzk_NonDetOp(MlirOperation)
Returns true if the Operation is a llzk::NonDetOp.
Definition
Ops.capi.cpp.inc:23
Builder.h
build
include
llzk
Dialect
LLZK
IR
Ops.capi.h.inc
Generated by
1.17.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.