reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced
39 Covered += RHS.Covered; 40 NumRegions += RHS.NumRegions;