TransformationPasses.capi.h.inc

Go to the documentation of this file.

 
/* Autogenerated by mlir-tblgen; don't manually edit. */
 
#include "mlir-c/Pass.h"
 
#ifdef __cplusplus
extern "C" {
#endif
 
// Registration for the entire group
MLIR_CAPI_EXPORTED void mlirRegisterLLZKBoolTransformationPasses(void);
 
 
/* Create LLZKBoolTransformation Pass. */
MLIR_CAPI_EXPORTED MlirPass mlirCreateLLZKBoolTransformationLowerBoolQuantifiersPass(void);
MLIR_CAPI_EXPORTED void mlirRegisterLLZKBoolTransformationLowerBoolQuantifiersPass(void);
 
 
 
#ifdef __cplusplus
}
#endif