Go to the documentation of this file.
9 #ifndef CIRCT_DIALECT_LTL_LTLDIALECT_H
10 #define CIRCT_DIALECT_LTL_LTLDIALECT_H
13 #include "mlir/IR/BuiltinOps.h"
14 #include "mlir/IR/Dialect.h"
16 #include "circt/Dialect/LTL/LTLDialect.h.inc"
17 #include "circt/Dialect/LTL/LTLEnums.h.inc"