MLIR
22.0.0git
include
mlir
Dialect
SMT
IR
SMTAttributes.h
Go to the documentation of this file.
1
//===- SMTAttributes.h - Declare SMT dialect attributes ----------*- C++-*-===//
2
//
3
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4
// See https://llvm.org/LICENSE.txt for license information.
5
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6
//
7
//===----------------------------------------------------------------------===//
8
9
#ifndef MLIR_DIALECT_SMT_IR_SMTATTRIBUTES_H
10
#define MLIR_DIALECT_SMT_IR_SMTATTRIBUTES_H
11
12
#include "
mlir/IR/Attributes.h
"
13
#include "
mlir/IR/BuiltinAttributeInterfaces.h
"
14
#include "
mlir/IR/BuiltinAttributes.h
"
15
16
namespace
mlir
{
17
namespace
smt {
18
namespace
detail {
19
20
struct
BitVectorAttrStorage;
21
22
}
// namespace detail
23
}
// namespace smt
24
}
// namespace mlir
25
26
#define GET_ATTRDEF_CLASSES
27
#include "mlir/Dialect/SMT/IR/SMTAttributes.h.inc"
28
29
#endif
// MLIR_DIALECT_SMT_IR_SMTATTRIBUTES_H
Attributes.h
BuiltinAttributeInterfaces.h
BuiltinAttributes.h
mlir
Include the generated interface declarations.
Definition:
LocalAliasAnalysis.h:20
Generated on Wed Sep 3 2025 12:33:58 for MLIR by
1.9.1