clang  6.0.0svn
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::ExplodedGraphinline
addRoot(ExplodedNode *V)clang::ento::ExplodedGraphinline
AllNodesTy typedefclang::ento::ExplodedGraph
BVCclang::ento::ExplodedGraphprotected
ChangedNodesclang::ento::ExplodedGraphprotected
const_eop_iterator typedefclang::ento::ExplodedGraph
const_node_iterator typedefclang::ento::ExplodedGraph
const_roots_iterator typedefclang::ento::ExplodedGraph
CoreEngine classclang::ento::ExplodedGraphfriend
createUncachedNode(const ProgramPoint &L, ProgramStateRef State, bool IsSink=false)clang::ento::ExplodedGraph
empty() constclang::ento::ExplodedGraphinline
enableNodeReclamation(unsigned Interval)clang::ento::ExplodedGraphinline
EndNodesclang::ento::ExplodedGraphprotected
eop_begin()clang::ento::ExplodedGraphinline
eop_begin() constclang::ento::ExplodedGraphinline
eop_end()clang::ento::ExplodedGraphinline
eop_end() constclang::ento::ExplodedGraphinline
eop_iterator typedefclang::ento::ExplodedGraph
ExplodedGraph()clang::ento::ExplodedGraph
FreeNodesclang::ento::ExplodedGraphprotected
getAllocator()clang::ento::ExplodedGraphinline
getNode(const ProgramPoint &L, ProgramStateRef State, bool IsSink=false, bool *IsNew=nullptr)clang::ento::ExplodedGraph
getNodeAllocator()clang::ento::ExplodedGraphinline
isInterestingLValueExpr(const Expr *Ex)clang::ento::ExplodedGraphstatic
MakeEmptyGraph() constclang::ento::ExplodedGraphinline
node_iterator typedefclang::ento::ExplodedGraph
NodeMap typedefclang::ento::ExplodedGraph
Nodesclang::ento::ExplodedGraphprotected
nodes_begin()clang::ento::ExplodedGraphinline
nodes_begin() constclang::ento::ExplodedGraphinline
nodes_end()clang::ento::ExplodedGraphinline
nodes_end() constclang::ento::ExplodedGraphinline
NodeTy typedefclang::ento::ExplodedGraph
NodeVector typedefclang::ento::ExplodedGraphprotected
num_eops() constclang::ento::ExplodedGraphinline
num_roots() constclang::ento::ExplodedGraphinline
NumNodesclang::ento::ExplodedGraphprotected
ReclaimCounterclang::ento::ExplodedGraphprotected
ReclaimNodeIntervalclang::ento::ExplodedGraphprotected
reclaimRecentlyAllocatedNodes()clang::ento::ExplodedGraph
reserve(unsigned NodeCount)clang::ento::ExplodedGraphinline
Rootsclang::ento::ExplodedGraphprotected
roots_begin()clang::ento::ExplodedGraphinline
roots_begin() constclang::ento::ExplodedGraphinline
roots_end()clang::ento::ExplodedGraphinline
roots_end() constclang::ento::ExplodedGraphinline
roots_iterator typedefclang::ento::ExplodedGraph
size() constclang::ento::ExplodedGraphinline
trim(ArrayRef< const NodeTy *> Nodes, InterExplodedGraphMap *ForwardMap=nullptr, InterExplodedGraphMap *InverseMap=nullptr) constclang::ento::ExplodedGraph
~ExplodedGraph()clang::ento::ExplodedGraph