CIRCT
20.0.0git
include
circt
Dialect
SMT
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 CIRCT_DIALECT_SMT_SMTATTRIBUTES_H
10
#define CIRCT_DIALECT_SMT_SMTATTRIBUTES_H
11
12
#include "mlir/IR/Attributes.h"
13
#include "mlir/IR/BuiltinAttributeInterfaces.h"
14
#include "mlir/IR/BuiltinAttributes.h"
15
16
namespace
circt
{
17
namespace
smt {
18
namespace
detail
{
19
20
struct
BitVectorAttrStorage
;
21
22
}
// namespace detail
23
}
// namespace smt
24
}
// namespace circt
25
26
#define GET_ATTRDEF_CLASSES
27
#include "circt/Dialect/SMT/SMTAttributes.h.inc"
28
29
#endif
// CIRCT_DIALECT_SMT_SMTATTRIBUTES_H
circt
The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
Definition:
DebugAnalysis.h:21
detail
Definition:
FIRRTLReductions.cpp:31
circt::smt::detail::BitVectorAttrStorage
Definition:
SMTAttributes.cpp:27
Generated on Sat Nov 23 2024 00:07:51 for CIRCT by
1.9.1