SMT.h File Reference

Declares the registration and creation methods for SMT conversion passes. More...

#include "mlir-c/Pass.h"
#include "mlir-c/Support.h"
#include "smt/Conversions/ConversionPasses.capi.h.inc"

Include dependency graph for SMT.h:

Go to the source code of this file.

Detailed Description

Declares the registration and creation methods for SMT conversion passes.

Definition in file SMT.h.