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 llzkInclude_IncludeOpBuild (MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirIdentifier path)
 Build a llzk::include::IncludeOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Include_IncludeOp (MlirOperation)
 Returns true if the Operation is a llzk::include::IncludeOp.
MLIR_CAPI_EXPORTED MlirAttribute llzkInclude_IncludeOpGetSymName (MlirOperation op)
 Get SymName attribute from llzk::include::IncludeOp Operation.
MLIR_CAPI_EXPORTED void llzkInclude_IncludeOpSetSymName (MlirOperation op, MlirAttribute attr)
 Set SymName attribute of llzk::include::IncludeOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkInclude_IncludeOpGetPath (MlirOperation op)
 Get Path attribute from llzk::include::IncludeOp Operation.
MLIR_CAPI_EXPORTED void llzkInclude_IncludeOpSetPath (MlirOperation op, MlirAttribute attr)
 Set Path attribute of llzk::include::IncludeOp Operation.

Function Documentation

◆ llzkInclude_IncludeOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkInclude_IncludeOpBuild ( MlirOpBuilder builder,
MlirLocation location,
MlirIdentifier sym_name,
MlirIdentifier path )

Build a llzk::include::IncludeOp Operation.

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

◆ llzkInclude_IncludeOpGetPath()

MLIR_CAPI_EXPORTED MlirAttribute llzkInclude_IncludeOpGetPath ( MlirOperation op)

Get Path attribute from llzk::include::IncludeOp Operation.

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

◆ llzkInclude_IncludeOpGetSymName()

MLIR_CAPI_EXPORTED MlirAttribute llzkInclude_IncludeOpGetSymName ( MlirOperation op)

Get SymName attribute from llzk::include::IncludeOp Operation.

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

◆ llzkInclude_IncludeOpSetPath()

MLIR_CAPI_EXPORTED void llzkInclude_IncludeOpSetPath ( MlirOperation op,
MlirAttribute attr )

Set Path attribute of llzk::include::IncludeOp Operation.

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

◆ llzkInclude_IncludeOpSetSymName()

MLIR_CAPI_EXPORTED void llzkInclude_IncludeOpSetSymName ( MlirOperation op,
MlirAttribute attr )

Set SymName attribute of llzk::include::IncludeOp Operation.

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

◆ llzkOperationIsA_Include_IncludeOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Include_IncludeOp ( MlirOperation inp)

Returns true if the Operation is a llzk::include::IncludeOp.

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