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 llzkVerif_ContractEndOpBuild(MlirOpBuilder builder, MlirLocation location);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_ContractEndOp(MlirOperation);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_ContractOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_ContractOpGetSymName(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkVerif_ContractOpSetSymName(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_ContractOpGetTarget(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkVerif_ContractOpSetTarget(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_ContractOpGetFunctionType(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkVerif_ContractOpSetFunctionType(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_ContractOpGetArgAttrs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkVerif_ContractOpSetArgAttrs(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirRegion llzkVerif_ContractOpGetBody(MlirOperation op);

MLIR_CAPI_EXPORTED bool llzkVerif_ContractOpIsDeclaration(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkVerif_ContractOpHasArgPublicAttr(MlirOperation inp, unsigned index);

MLIR_CAPI_EXPORTED bool llzkVerif_ContractOpHasFuncTarget(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkVerif_ContractOpHasStructTarget(MlirOperation inp);

MLIR_CAPI_EXPORTED MlirRegion llzkVerif_ContractOpGetCallableRegion(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkVerif_ContractOpHasArgName(MlirOperation inp, unsigned index);

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_ContractOpGetFullyQualifiedName(MlirOperation inp, bool requireParent);

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_DecreasesOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue value);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_DecreasesOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkVerif_DecreasesOpGetValue(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkVerif_DecreasesOpSetValue(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_EnsureComputeOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue condition);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_EnsureComputeOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkVerif_EnsureComputeOpGetCondition(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkVerif_EnsureComputeOpSetCondition(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_EnsureConstrainOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue condition);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_EnsureConstrainOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkVerif_EnsureConstrainOpGetCondition(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkVerif_EnsureConstrainOpSetCondition(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_IncludeOp(MlirOperation);

MLIR_CAPI_EXPORTED intptr_t llzkVerif_IncludeOpGetArgOperandsCount(MlirOperation op);

MLIR_CAPI_EXPORTED MlirValue llzkVerif_IncludeOpGetArgOperandsAt(MlirOperation op, intptr_t index);

MLIR_CAPI_EXPORTED void llzkVerif_IncludeOpSetArgOperands(MlirOperation op, intptr_t count, MlirValue const *values);

MLIR_CAPI_EXPORTED intptr_t llzkVerif_IncludeOpGetMapOperandsCount(MlirOperation op);

MLIR_CAPI_EXPORTED MlirValue llzkVerif_IncludeOpGetMapOperandsAt(MlirOperation op, intptr_t index);

MLIR_CAPI_EXPORTED void llzkVerif_IncludeOpSetMapOperands(MlirOperation op, intptr_t groupCount, MlirValueRange const *groups);

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_IncludeOpGetCallee(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkVerif_IncludeOpSetCallee(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_IncludeOpGetTemplateParams(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkVerif_IncludeOpSetTemplateParams(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_IncludeOpGetNumDimsPerMap(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkVerif_IncludeOpSetNumDimsPerMap(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_IncludeOpGetMapOpGroupSizes(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkVerif_IncludeOpSetMapOpGroupSizes(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED bool llzkVerif_IncludeOpContractTargetsStruct(MlirOperation inp);

MLIR_CAPI_EXPORTED MlirValue llzkVerif_IncludeOpGetSelfValue(MlirOperation inp);

MLIR_CAPI_EXPORTED MlirType llzkVerif_IncludeOpGetTypeSignature(MlirOperation inp);

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_IncludeOpResolveCallable(MlirOperation inp);

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_IncreasesOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue value);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_IncreasesOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkVerif_IncreasesOpGetValue(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkVerif_IncreasesOpSetValue(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_InvariantOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_InvariantOpGetLoopName(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkVerif_InvariantOpSetLoopName(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_InvariantOpGetLoopArgTypes(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkVerif_InvariantOpSetLoopArgTypes(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirRegion llzkVerif_InvariantOpGetRegion(MlirOperation op);

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_InvariantOpGetParentContract(MlirOperation inp);

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_OldOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue value);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_OldOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkVerif_OldOpGetValue(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkVerif_OldOpSetValue(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkVerif_OldOpGetResult(MlirOperation op);

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_RequireComputeOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue condition);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_RequireComputeOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkVerif_RequireComputeOpGetCondition(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkVerif_RequireComputeOpSetCondition(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_RequireConstrainOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue condition);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_RequireConstrainOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkVerif_RequireConstrainOpGetCondition(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkVerif_RequireConstrainOpSetCondition(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_StepOpBuild(MlirOpBuilder builder, MlirLocation location);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_StepOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirRegion llzkVerif_StepOpGetRegion(MlirOperation op);

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_StepYieldOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue value);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_StepYieldOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkVerif_StepYieldOpGetValue(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkVerif_StepYieldOpSetValue(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_VerifAssertOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue condition);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_VerifAssertOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkVerif_VerifAssertOpGetCondition(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkVerif_VerifAssertOpSetCondition(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_VerifProveOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue condition);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_VerifProveOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkVerif_VerifProveOpGetCondition(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkVerif_VerifProveOpSetCondition(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_VerifSMTProveOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue condition);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_VerifSMTProveOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkVerif_VerifSMTProveOpGetCondition(MlirOperation op);

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