9 #ifndef CIRCT_DIALECT_SMT_SMTTYPES_H
10 #define CIRCT_DIALECT_SMT_SMTTYPES_H
12 #include "mlir/IR/BuiltinTypes.h"
13 #include "mlir/IR/Types.h"
15 #define GET_TYPEDEF_CLASSES
16 #include "circt/Dialect/SMT/SMTTypes.h.inc"
bool isAnyNonFuncSMTValueType(mlir::Type type)
Returns whether the given type is an SMT value type (excluding functions).
bool isAnySMTValueType(mlir::Type type)
Returns whether the given type is an SMT value type.
The InstanceGraph op interface, see InstanceGraphInterface.td for more details.