Static Value-Flow Analysis
SVF::SCCDetection< GraphType > Member List

This is the complete list of members for SVF::SCCDetection< GraphType >, including all inherited members.

_DSVF::SCCDetection< GraphType >private
_graphSVF::SCCDetection< GraphType >private
_ISVF::SCCDetection< GraphType >private
_NodeSCCAuxInfoSVF::SCCDetection< GraphType >private
_SSSVF::SCCDetection< GraphType >private
_TSVF::SCCDetection< GraphType >private
child_iterator typedefSVF::SCCDetection< GraphType >private
clear()SVF::SCCDetection< GraphType >inlineprivate
find(void)SVF::SCCDetection< GraphType >inline
find(NodeSet &candidates)SVF::SCCDetection< GraphType >inline
getRepNodes() constSVF::SCCDetection< GraphType >inline
GNODE typedefSVF::SCCDetection< GraphType >private
GNodeSCCInfo() constSVF::SCCDetection< GraphType >inline
GNODESCCInfoMap typedefSVF::SCCDetection< GraphType >
GNodeStack typedefSVF::SCCDetection< GraphType >
graph()SVF::SCCDetection< GraphType >inline
GTraits typedefSVF::SCCDetection< GraphType >private
inSCC(NodeID n)SVF::SCCDetection< GraphType >inlineprivate
isInCycle(NodeID n) constSVF::SCCDetection< GraphType >inline
isInSCC(NodeID n)SVF::SCCDetection< GraphType >inlineprivate
Node(NodeID id) constSVF::SCCDetection< GraphType >inlineprivate
Node_Index(GNODE node) constSVF::SCCDetection< GraphType >inlineprivate
node_iterator typedefSVF::SCCDetection< GraphType >private
NodeID typedefSVF::SCCDetection< GraphType >private
NodeToNodeMap typedefSVF::SCCDetection< GraphType >
rep(NodeID n, NodeID r)SVF::SCCDetection< GraphType >inlineprivate
rep(NodeID n)SVF::SCCDetection< GraphType >inlineprivate
repNode(NodeID n) constSVF::SCCDetection< GraphType >inline
repNodesSVF::SCCDetection< GraphType >private
SCCDetection(const GraphType &GT)SVF::SCCDetection< GraphType >inline
setInSCC(NodeID n, bool v)SVF::SCCDetection< GraphType >inlineprivate
setVisited(NodeID n, bool v)SVF::SCCDetection< GraphType >inlineprivate
subNodes(NodeID n) constSVF::SCCDetection< GraphType >inline
topoNodeStack()SVF::SCCDetection< GraphType >inline
visit(NodeID v)SVF::SCCDetection< GraphType >inlineprivate
visited(NodeID n)SVF::SCCDetection< GraphType >inlineprivate