SVF::VersionedFlowSensitive::SCC Member List

This is the complete list of members for SVF::VersionedFlowSensitive::SCC, including all inherited members.

detectSCCs(VersionedFlowSensitive *vfs, const SVFG *svfg, const NodeID object, const std::vector< const SVFGNode * > &startingNodes, std::vector< int > &partOf, std::vector< const IndirectSVFGEdge * > &footprint)	SVF::VersionedFlowSensitive::SCC	static
NodeData typedef	SVF::VersionedFlowSensitive::SCC	private
visit(VersionedFlowSensitive *vfs, const NodeID object, std::vector< int > &partOf, std::vector< const IndirectSVFGEdge * > &footprint, std::vector< NodeData > &nodeData, std::stack< const SVFGNode * > &stack, int &index, int &currentSCC, const SVFGNode *v)	SVF::VersionedFlowSensitive::SCC	privatestatic