clang
10.0.0git
lib
StaticAnalyzer
Core
SMTConstraintManager.cpp
Go to the documentation of this file.
1
//== SMTConstraintManager.cpp -----------------------------------*- 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
#include "
clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
"
11
12
using namespace
clang
;
13
using namespace
ento
;
14
15
std::unique_ptr<ConstraintManager>
16
ento::CreateZ3ConstraintManager
(
ProgramStateManager
&StMgr,
SubEngine
*Eng) {
17
return
std::make_unique<SMTConstraintManager>(Eng, StMgr.
getSValBuilder
());
18
}
ento
clang::ento::SubEngine
Definition:
SubEngine.h:47
SMTConstraintManager.h
clang::ento::ProgramStateManager::getSValBuilder
SValBuilder & getSValBuilder()
Definition:
ProgramState.h:506
clang::ento::CreateZ3ConstraintManager
std::unique_ptr< ConstraintManager > CreateZ3ConstraintManager(ProgramStateManager &statemgr, SubEngine *subengine)
Definition:
SMTConstraintManager.cpp:16
clang::ento::ProgramStateManager
Definition:
ProgramState.h:456
clang
Dataflow Directional Tag Classes.
Definition:
CFGReachabilityAnalysis.h:21
Generated on Thu Feb 13 2020 14:07:58 for clang by
1.8.13