reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1165 DT.insertEdge(Update.getFrom(), Update.getTo()); 1167 DT.deleteEdge(Update.getFrom(), Update.getTo()); 1210 if (DT.DomTreeNodes.size() <= 100) { 1211 if (NumLegalized > DT.DomTreeNodes.size()) 1212 CalculateFromScratch(DT, &BUI); 1213 } else if (NumLegalized > DT.DomTreeNodes.size() / 40) 1214 CalculateFromScratch(DT, &BUI); 1220 ApplyNextUpdate(DT, BUI);