clang  7.0.0
SMTContext.h
Go to the documentation of this file.
1 //== SMTContext.h -----------------------------------------------*- C++ -*--==//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This file defines a SMT generic Context API, which will be the base class
11 // for every SMT solver context specific class.
12 //
13 //===----------------------------------------------------------------------===//
14 
15 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_SMTCONTEXT_H
16 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_SMTCONTEXT_H
17 
18 namespace clang {
19 namespace ento {
20 
21 /// Generic base class for SMT contexts
22 class SMTContext {
23 public:
24  SMTContext() = default;
25  virtual ~SMTContext() = default;
26 };
27 
28 } // namespace ento
29 } // namespace clang
30 
31 #endif
virtual ~SMTContext()=default
Generic base class for SMT contexts.
Definition: SMTContext.h:22
Dataflow Directional Tag Classes.