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
llzkInclude_IncludeOpBuild
(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirIdentifier path);
20
22
MLIR_CAPI_EXPORTED
bool
llzkOperationIsA_Include_IncludeOp
(MlirOperation);
23
25
MLIR_CAPI_EXPORTED MlirAttribute
llzkInclude_IncludeOpGetSymName
(MlirOperation op);
26
28
MLIR_CAPI_EXPORTED
void
llzkInclude_IncludeOpSetSymName
(MlirOperation op, MlirAttribute attr);
29
31
MLIR_CAPI_EXPORTED MlirAttribute
llzkInclude_IncludeOpGetPath
(MlirOperation op);
32
34
MLIR_CAPI_EXPORTED
void
llzkInclude_IncludeOpSetPath
(MlirOperation op, MlirAttribute attr);
35
36
#ifdef __cplusplus
37
}
38
#endif
llzkInclude_IncludeOpGetPath
MLIR_CAPI_EXPORTED MlirAttribute llzkInclude_IncludeOpGetPath(MlirOperation op)
Get Path attribute from llzk::include::IncludeOp Operation.
Definition
Ops.capi.cpp.inc:43
llzkInclude_IncludeOpSetPath
MLIR_CAPI_EXPORTED void llzkInclude_IncludeOpSetPath(MlirOperation op, MlirAttribute attr)
Set Path attribute of llzk::include::IncludeOp Operation.
Definition
Ops.capi.cpp.inc:47
llzkOperationIsA_Include_IncludeOp
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Include_IncludeOp(MlirOperation)
Returns true if the Operation is a llzk::include::IncludeOp.
Definition
Ops.capi.cpp.inc:31
llzkInclude_IncludeOpGetSymName
MLIR_CAPI_EXPORTED MlirAttribute llzkInclude_IncludeOpGetSymName(MlirOperation op)
Get SymName attribute from llzk::include::IncludeOp Operation.
Definition
Ops.capi.cpp.inc:35
llzkInclude_IncludeOpBuild
MLIR_CAPI_EXPORTED MlirOperation llzkInclude_IncludeOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirIdentifier path)
Build a llzk::include::IncludeOp Operation.
Definition
Ops.capi.cpp.inc:16
llzkInclude_IncludeOpSetSymName
MLIR_CAPI_EXPORTED void llzkInclude_IncludeOpSetSymName(MlirOperation op, MlirAttribute attr)
Set SymName attribute of llzk::include::IncludeOp Operation.
Definition
Ops.capi.cpp.inc:39
Builder.h
build
include
llzk
Dialect
Include
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.