clang
7.0.0
include
clang
StaticAnalyzer
Core
PathSensitive
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
clang::ento::SMTContext::~SMTContext
virtual ~SMTContext()=default
clang::ento::SMTContext
Generic base class for SMT contexts.
Definition:
SMTContext.h:22
clang::ento::SMTContext::SMTContext
SMTContext()=default
clang
Dataflow Directional Tag Classes.
Definition:
CFGReachabilityAnalysis.h:22
Generated on Mon Sep 17 2018 14:01:43 for clang by
1.8.13