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)