RequirementMachine: Rename RewritePath::getRulesInEmptyContext() to findRulesAppearingOnceInEmptyContext()

Author: slavapestov

lib/AST/RequirementMachine/HomotopyReduction.cpp

@@ -136,7 +136,7 @@ void RewriteSystem::propagateRedundantRequirementIDs() {
       continue;
 
     MutableTerm lhs(rule.getLHS());
-    for (auto ruleID : rewritePath.getRulesInEmptyContext(lhs, *this)) {
+    for (auto ruleID : rewritePath.findRulesAppearingOnceInEmptyContext(lhs, *this)) {
       auto &replacement = Rules[ruleID];
       if (!replacement.isPermanent()) {
         // If the replacement rule already has a requirementID, overwrite

lib/AST/RequirementMachine/RewriteLoop.cpp

@@ -345,8 +345,8 @@ bool RewritePath::replaceRuleWithPath(unsigned ruleID,
 }
 
 SmallVector<unsigned, 1>
-RewritePath::getRulesInEmptyContext(const MutableTerm &term,
-                                    const RewriteSystem &system) const {
+RewritePath::findRulesAppearingOnceInEmptyContext(const MutableTerm &term,
+                                                  const RewriteSystem &system) const {
   // Rules appearing in empty context (possibly more than once).
   llvm::SmallDenseSet<unsigned, 2> rulesInEmptyContext;
   // The number of times each rule appears (with or without context).
@@ -485,7 +485,8 @@ void RewriteLoop::recompute(const RewriteSystem &system) {
     evaluator.apply(step, system);
   }
 
-  RulesInEmptyContext = Path.getRulesInEmptyContext(Basepoint, system);
+  RulesInEmptyContext =
+      Path.findRulesAppearingOnceInEmptyContext(Basepoint, system);
 }
 
 /// A rewrite rule is redundant if it appears exactly once in a loop

lib/AST/RequirementMachine/RewriteLoop.h

@@ -411,8 +411,9 @@ class RewritePath {
 
   bool replaceRuleWithPath(unsigned ruleID, const RewritePath &path);
 
-  SmallVector<unsigned, 1> getRulesInEmptyContext(const MutableTerm &term,
-                                                  const RewriteSystem &system) const;
+  SmallVector<unsigned, 1>
+  findRulesAppearingOnceInEmptyContext(const MutableTerm &term,
+                                       const RewriteSystem &system) const;
 
   void invert();