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