clang::ento::ExplodedGraph Member List

This is the complete list of members for clang::ento::ExplodedGraph, including all inherited members.

addEndOfPath(ExplodedNode *V)	clang::ento::ExplodedGraph	[inline]
addRoot(ExplodedNode *V)	clang::ento::ExplodedGraph	[inline]
AllNodesTy typedef	clang::ento::ExplodedGraph
BVC	clang::ento::ExplodedGraph	[protected]
ChangedNodes	clang::ento::ExplodedGraph	[protected]
const_eop_iterator typedef	clang::ento::ExplodedGraph
const_node_iterator typedef	clang::ento::ExplodedGraph
const_roots_iterator typedef	clang::ento::ExplodedGraph
CoreEngine class	clang::ento::ExplodedGraph	[friend]
empty() const	clang::ento::ExplodedGraph	[inline]
enableNodeReclamation(unsigned Interval)	clang::ento::ExplodedGraph	[inline]
EndNodes	clang::ento::ExplodedGraph	[protected]
eop_begin()	clang::ento::ExplodedGraph	[inline]
eop_begin() const	clang::ento::ExplodedGraph	[inline]
eop_end()	clang::ento::ExplodedGraph	[inline]
eop_end() const	clang::ento::ExplodedGraph	[inline]
eop_iterator typedef	clang::ento::ExplodedGraph
ExplodedGraph()	clang::ento::ExplodedGraph
FreeNodes	clang::ento::ExplodedGraph	[protected]
getAllocator()	clang::ento::ExplodedGraph	[inline]
getNode(const ProgramPoint &L, ProgramStateRef State, bool IsSink=false, bool *IsNew=nullptr)	clang::ento::ExplodedGraph
getNodeAllocator()	clang::ento::ExplodedGraph	[inline]
isInterestingLValueExpr(const Expr *Ex)	clang::ento::ExplodedGraph	[static]
MakeEmptyGraph() const	clang::ento::ExplodedGraph	[inline]
node_iterator typedef	clang::ento::ExplodedGraph
NodeMap typedef	clang::ento::ExplodedGraph
Nodes	clang::ento::ExplodedGraph	[protected]
nodes_begin()	clang::ento::ExplodedGraph	[inline]
nodes_begin() const	clang::ento::ExplodedGraph	[inline]
nodes_end()	clang::ento::ExplodedGraph	[inline]
nodes_end() const	clang::ento::ExplodedGraph	[inline]
NodeTy typedef	clang::ento::ExplodedGraph
NodeVector typedef	clang::ento::ExplodedGraph	[protected]
num_eops() const	clang::ento::ExplodedGraph	[inline]
num_roots() const	clang::ento::ExplodedGraph	[inline]
NumNodes	clang::ento::ExplodedGraph	[protected]
ReclaimCounter	clang::ento::ExplodedGraph	[protected]
ReclaimNodeInterval	clang::ento::ExplodedGraph	[protected]
reclaimRecentlyAllocatedNodes()	clang::ento::ExplodedGraph
Roots	clang::ento::ExplodedGraph	[protected]
roots_begin()	clang::ento::ExplodedGraph	[inline]
roots_begin() const	clang::ento::ExplodedGraph	[inline]
roots_end()	clang::ento::ExplodedGraph	[inline]
roots_end() const	clang::ento::ExplodedGraph	[inline]
roots_iterator typedef	clang::ento::ExplodedGraph
size() const	clang::ento::ExplodedGraph	[inline]
trim(ArrayRef< const NodeTy * > Nodes, InterExplodedGraphMap *ForwardMap=nullptr, InterExplodedGraphMap *InverseMap=nullptr) const	clang::ento::ExplodedGraph
~ExplodedGraph()	clang::ento::ExplodedGraph