reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced
23 if (Result.empty() || Result.back() != R) { 24 Result.push_back(R);