TransformationPasses.capi.cpp.inc

Go to the documentation of this file.

/* Autogenerated by mlir-tblgen; don't manually edit. */
//===----------------------------------------------------------------------===//
// LLZKBoolTransformation Group Registration
//===----------------------------------------------------------------------===//
 
void mlirRegisterLLZKBoolTransformationPasses(void) {
  registerLLZKBoolTransformationPasses();
}
 
MlirPass mlirCreateLLZKBoolTransformationLowerBoolQuantifiersPass(void) {
  return wrap(createLowerBoolQuantifiersPass().release());
}
void mlirRegisterLLZKBoolTransformationLowerBoolQuantifiersPass(void) {
  registerLowerBoolQuantifiersPass();
}