Lines Matching refs:AffectedValues

49   auto AVI = AffectedValues.find_as(V);  in getOrInsertAffectedValues()
50   if (AVI != AffectedValues.end())  in getOrInsertAffectedValues()
53   auto AVIP = AffectedValues.insert(  in getOrInsertAffectedValues()
139     auto AVI = AffectedValues.find_as(AV.Assume);  in unregisterAssumption()
140     if (AVI == AffectedValues.end())  in unregisterAssumption()
155       AffectedValues.erase(AVI);  in unregisterAssumption()
164   auto AVI = AC->AffectedValues.find(getValPtr());  in deleted()
165   if (AVI != AC->AffectedValues.end())  in deleted()
166     AC->AffectedValues.erase(AVI);  in deleted()
172   auto AVI = AffectedValues.find(OV);  in transferAffectedValuesInCache()
173   if (AVI == AffectedValues.end())  in transferAffectedValuesInCache()
179   AffectedValues.erase(OV);  in transferAffectedValuesInCache()