Searched refs:AVV (Results 1 – 2 of 2) sorted by relevance
134 auto &AVV = getOrInsertAffectedValues(AV.Assume); in updateAffectedValues() local135 if (std::find_if(AVV.begin(), AVV.end(), [&](ResultElem &Elem) { in updateAffectedValues()137 }) == AVV.end()) in updateAffectedValues()138 AVV.push_back({CI, AV.Index}); in updateAffectedValues()
452 AVV:Avalon Airport, Victoria, Australia