SMTInfoDialect.h.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* Dialect Declarations                                                       *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|* From: SMTInfoDialect.td                                                    *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
namespace llzk::smt_info {

class SMTInfoDialect : public ::mlir::Dialect {
  explicit SMTInfoDialect(::mlir::MLIRContext *context);
 
  void initialize();
  friend class ::mlir::MLIRContext;
public:
  ~SMTInfoDialect() override;
  static constexpr ::llvm::StringLiteral getDialectNamespace() {
    return ::llvm::StringLiteral("smt_info");
  }

  ::mlir::Attribute parseAttribute(::mlir::DialectAsmParser &parser,
                                   ::mlir::Type type) const override;

  void printAttribute(::mlir::Attribute attr,
                      ::mlir::DialectAsmPrinter &os) const override;
 
    void registerAttributes();
  };
 
} // namespace llzk::smt_info
MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::smt_info::SMTInfoDialect)