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	clang::ento::ExplodedGraph	friend
createUncachedNode(const ProgramPoint &L, ProgramStateRef State, int64_t Id, bool IsSink=false)	clang::ento::ExplodedGraph
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	inline
nodes() const	clang::ento::ExplodedGraph	inline
Nodes	clang::ento::ExplodedGraph	protected
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
reserve(unsigned NodeCount)	clang::ento::ExplodedGraph	inline
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