CIRCT  20.0.0git
VerifToSMT.h
Go to the documentation of this file.
1 //===- VerifToSMT.h - Verif to SMT dialect conversion -----------*- 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_CONVERSION_VERIFTOSMT_H
10 #define CIRCT_CONVERSION_VERIFTOSMT_H
11 
12 #include "circt/Support/LLVM.h"
13 #include <memory>
14 
15 namespace circt {
16 class Namespace;
17 
18 #define GEN_PASS_DECL_CONVERTVERIFTOSMT
19 #include "circt/Conversion/Passes.h.inc"
20 
21 /// Get the Verif to SMT conversion patterns.
22 void populateVerifToSMTConversionPatterns(TypeConverter &converter,
23  RewritePatternSet &patterns,
24  Namespace &names);
25 
26 } // namespace circt
27 
28 #endif // CIRCT_CONVERSION_VERIFTOSMT_H
The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
Definition: DebugAnalysis.h:21
void populateVerifToSMTConversionPatterns(TypeConverter &converter, RewritePatternSet &patterns, Namespace &names)
Get the Verif to SMT conversion patterns.
Definition: VerifToSMT.cpp:380