CIRCT
20.0.0git
|
#include "mlir/IR/BuiltinTypes.h"
#include "mlir/IR/Types.h"
#include "circt/Dialect/SMT/SMTTypes.h.inc"
Go to the source code of this file.
Namespaces | |
circt | |
The InstanceGraph op interface, see InstanceGraphInterface.td for more details. | |
circt::smt | |
Macros | |
#define | GET_TYPEDEF_CLASSES |
Functions | |
bool | circt::smt::isAnySMTValueType (mlir::Type type) |
Returns whether the given type is an SMT value type. More... | |
bool | circt::smt::isAnyNonFuncSMTValueType (mlir::Type type) |
Returns whether the given type is an SMT value type (excluding functions). More... | |
#define GET_TYPEDEF_CLASSES |
Definition at line 15 of file SMTTypes.h.