reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
5563 Exts.push_back(VisitedSExt); 5564 bool HasPromoted = tryToPromoteExts(TPT, Exts, Chains);