reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
148 if (OptIt != OptionalNonInitial.end()) { 149 OptionalNonInitial.erase(OptIt);