reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
134 Edits.emplace_back(std::move(Edit)); 135 return makeRule(std::move(M), std::move(Edits), std::move(Explanation));