SMTInfoDialect.cpp.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* Dialect Definitions                                                        *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|* From: SMTInfoDialect.td                                                    *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
MLIR_DEFINE_EXPLICIT_TYPE_ID(::llzk::smt_info::SMTInfoDialect)
namespace llzk::smt_info {
 
 
SMTInfoDialect::SMTInfoDialect(::mlir::MLIRContext *context)
    : ::mlir::Dialect(getDialectNamespace(), context, ::mlir::TypeID::get<SMTInfoDialect>())
    
     {
  
  initialize();
}
 
SMTInfoDialect::~SMTInfoDialect() = default;
 
 
} // namespace llzk::smt_info