Ops.capi.h.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* Op C API Declarations                                                      *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|* From: Ops.td                                                               *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
 
#include "llzk-c/Builder.h"
#include <mlir-c/IR.h>
 
#ifdef __cplusplus
extern "C" {
#endif

MLIR_CAPI_EXPORTED MlirOperation llzkConstrain_EmitContainmentOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Constrain_EmitContainmentOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkConstrain_EmitContainmentOpGetLhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkConstrain_EmitContainmentOpSetLhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkConstrain_EmitContainmentOpGetRhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkConstrain_EmitContainmentOpSetRhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirOperation llzkConstrain_EmitEqualityOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Constrain_EmitEqualityOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkConstrain_EmitEqualityOpGetLhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkConstrain_EmitEqualityOpSetLhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkConstrain_EmitEqualityOpGetRhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkConstrain_EmitEqualityOpSetRhs(MlirOperation op, MlirValue value);
 
#ifdef __cplusplus
}
#endif