reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1237 auto &FS = BUI.FutureSuccessors[CurrentUpdate.getFrom()]; 1238 assert(FS.back().getPointer() == CurrentUpdate.getTo() && 1239 FS.back().getInt() == CurrentUpdate.getKind()); 1241 if (FS.empty()) BUI.FutureSuccessors.erase(CurrentUpdate.getFrom()); 1243 auto &FP = BUI.FuturePredecessors[CurrentUpdate.getTo()]; 1244 assert(FP.back().getPointer() == CurrentUpdate.getFrom() && 1245 FP.back().getInt() == CurrentUpdate.getKind()); 1247 if (FP.empty()) BUI.FuturePredecessors.erase(CurrentUpdate.getTo()); 1249 if (CurrentUpdate.getKind() == UpdateKind::Insert) 1250 InsertEdge(DT, &BUI, CurrentUpdate.getFrom(), CurrentUpdate.getTo()); 1250 InsertEdge(DT, &BUI, CurrentUpdate.getFrom(), CurrentUpdate.getTo()); 1252 DeleteEdge(DT, &BUI, CurrentUpdate.getFrom(), CurrentUpdate.getTo()); 1252 DeleteEdge(DT, &BUI, CurrentUpdate.getFrom(), CurrentUpdate.getTo());