Searched refs:DepthNumber (Results 1 – 1 of 1) sorted by relevance
45 unsigned int DepthNumber = ++NextDepthNumber; in processPhi() local46 DepthMap[Phi] = DepthNumber; in processPhi()67 if (DepthMap[Phi] == DepthNumber) { in processPhi()72 while (!Stack.empty() && DepthMap[Stack.back()] >= DepthNumber) { in processPhi()75 DepthMap[ComponentPhi] = DepthNumber; in processPhi()90 ReachableMap.insert({DepthNumber,Reachable}); in processPhi()97 NonPhiReachableMap.insert({DepthNumber,NonPhi}); in processPhi()