clang
8.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/SMTExpr.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SMTSort.h"
#include "llvm/ADT/APSInt.h"
Go to the source code of this file.
Classes | |
class | clang::ento::SMTSolver |
Generic base class for SMT Solvers. More... | |
Namespaces | |
clang | |
Dataflow Directional Tag Classes. | |
clang::ento | |
Typedefs | |
using | clang::ento::SMTSolverRef = std::shared_ptr< SMTSolver > |
Shared pointer for SMTSolvers. More... | |
Functions | |
SMTSolverRef | clang::ento::CreateZ3Solver () |
Convenience method to create and Z3Solver object. More... | |