reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
55 DepthMap[Phi] = DepthNumber; 79 if (DepthMap[Phi] == DepthNumber) { 84 while (!Stack.empty() && DepthMap[Stack.back()] >= DepthNumber) { 87 DepthMap[ComponentPhi] = DepthNumber; 102 ReachableMap.insert({DepthNumber,Reachable}); 109 NonPhiReachableMap.insert({DepthNumber,NonPhi});