reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1238 assert(FS.back().getPointer() == CurrentUpdate.getTo() && 1239 FS.back().getInt() == CurrentUpdate.getKind()); 1240 FS.pop_back(); 1241 if (FS.empty()) BUI.FutureSuccessors.erase(CurrentUpdate.getFrom());