SMTDialect.cpp.inc

Go to the documentation of this file.

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