reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced
2664 if (!W.isVisited(Base)) 2665 B = B.remove(Base);