ExplodedGraph.h File Reference

#include "clang/AST/Decl.h"
#include "clang/Analysis/AnalysisContext.h"
#include "clang/Analysis/ProgramPoint.h"
#include "clang/Analysis/Support/BumpVector.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "llvm/ADT/DepthFirstIterator.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/ADT/GraphTraits.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Support/Allocator.h"
#include "llvm/Support/Casting.h"
#include <memory>
#include <vector>

Include dependency graph for ExplodedGraph.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	clang::ento::ExplodedNode
class	clang::ento::ExplodedNode::NodeGroup
class	clang::ento::ExplodedNode::Auditor
class	clang::ento::ExplodedGraph
class	clang::ento::ExplodedNodeSet
struct	llvm::GraphTraits< clang::ento::ExplodedNode * >
struct	llvm::GraphTraits< const clang::ento::ExplodedNode * >
Namespaces
namespace	clang
namespace	clang::ento
namespace	llvm
Typedefs
typedef llvm::DenseMap< const ExplodedNode *, const ExplodedNode * >	clang::ento::InterExplodedGraphMap