Go to the documentation of this file.
9 #ifndef CIRCT_DIALECT_SMT_SMTOPS_H
10 #define CIRCT_DIALECT_SMT_SMTOPS_H
12 #include "mlir/IR/OpImplementation.h"
13 #include "mlir/IR/SymbolTable.h"
14 #include "mlir/Interfaces/ControlFlowInterfaces.h"
15 #include "mlir/Interfaces/InferTypeOpInterface.h"
16 #include "mlir/Interfaces/SideEffectInterfaces.h"
22 #define GET_OP_CLASSES
23 #include "circt/Dialect/SMT/SMT.h.inc"