ConstraintManager.h File Reference

#include "clang/Basic/LLVM.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState_Fwd.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h"
#include "llvm/Support/SaveAndRestore.h"
#include <memory>
#include <optional>
#include <utility>

Go to the source code of this file.

Classes
class	clang::ento::ConditionTruthVal
class	clang::ento::ConstraintManager
class	clang::ento::ConstraintManager::AssumeStackTy
	A helper class to simulate the call stack of nested assume calls. More...

Namespaces
	llvm
	Diagnostic wrappers for TextAPI types for error reporting.
	clang
	The JSON file list parser is used to communicate input to InstallAPI.
	clang::ento

Functions
std::unique_ptr< ConstraintManager >	clang::ento::CreateRangeConstraintManager (ProgramStateManager &statemgr, ExprEngine *exprengine)
std::unique_ptr< ConstraintManager >	clang::ento::CreateZ3ConstraintManager (ProgramStateManager &statemgr, ExprEngine *exprengine)