Lines Matching defs:AVI
49 auto AVI = AffectedValues.find_as(V);
50 if (AVI != AffectedValues.end())
51 return AVI->second;
115 auto AVI = AffectedValues.find_as(AV.Assume);
116 if (AVI == AffectedValues.end())
120 for (ResultElem &Elem : AVI->second) {
131 AffectedValues.erase(AVI);
144 auto AVI = AffectedValues.find(OV);
145 if (AVI == AffectedValues.end())
148 for (auto &A : AVI->second)