reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
510 if (NumberedTypes.size() == Type2Number.size()) 511 return NumberedTypes; 513 NumberedTypes.resize(Type2Number.size()); 515 assert(P.second < NumberedTypes.size() && "Didn't get a dense numbering?"); 516 assert(!NumberedTypes[P.second] && "Didn't get a unique numbering?"); 517 NumberedTypes[P.second] = P.first; 519 return NumberedTypes;