Lines Matching refs:DepthMap

52   assert(DepthMap.lookup(Phi) == 0);  in processPhi()
55   DepthMap[Phi] = RootDepthNumber;  in processPhi()
62       unsigned int OpDepthNumber = DepthMap.lookup(PhiPhiOp);  in processPhi()
65         OpDepthNumber = DepthMap.lookup(PhiPhiOp);  in processPhi()
71         DepthMap[Phi] = std::min(DepthMap[Phi], OpDepthNumber);  in processPhi()
82   if (DepthMap[Phi] == RootDepthNumber) {  in processPhi()
97           unsigned int OpDepthNumber = DepthMap[PhiOp];  in processPhi()
110       unsigned int &ComponentDepthNumber = DepthMap[Stack.back()];  in processPhi()
126   unsigned int DepthNumber = DepthMap.lookup(PN);  in getValuesForPhi()
130     DepthNumber = DepthMap.lookup(PN);  in getValuesForPhi()
147         DepthMap.erase(PN);  in invalidateValue()
158   DepthMap.clear();  in releaseMemory()
171       unsigned int N = DepthMap.lookup(&PN);  in print()