Searched refs:DepthNumber (Results 1 – 1 of 1) sorted by relevance
55 unsigned int DepthNumber = ++NextDepthNumber; in processPhi() local56 DepthMap[Phi] = DepthNumber; in processPhi()80 if (DepthMap[Phi] == DepthNumber) { in processPhi()85 while (!Stack.empty() && DepthMap[Stack.back()] >= DepthNumber) { in processPhi()88 DepthMap[ComponentPhi] = DepthNumber; in processPhi()103 ReachableMap.insert({DepthNumber,Reachable}); in processPhi()110 NonPhiReachableMap.insert({DepthNumber,NonPhi}); in processPhi()