lib/AST/RequirementMachine/RewriteLoop.cpp
void RewritePath::dump(llvm::raw_ostream &out,
                       MutableTerm term,
                       const RewriteSystem &system) const {
  RewritePathEvaluator evaluator(term);
  bool first = true;

  for (const auto &step : Steps) {
    if (!first) {
      out << " ⊗ ";
    } else {
      first = false;
    }

    step.dump(out, evaluator, system);
  }
}
/// Dumps a series of rewrite steps applied to \p term.
Dumps a series of rewrite steps applied to \p term.
Dumps a series of rewrite steps applied to \ p term .
void RewritePath::dump(llvm::raw_ostream &out,
                       MutableTerm term,
                       const RewriteSystem &system) const {
  RewritePathEvaluator evaluator(term);
  bool first = true;
  for (const auto &step : Steps) {
    if (!first) {
      out << " ⊗ ";
    } else {
      first = false;
    }
    step.dump(out, evaluator, system);
  }
}
void RewritePath :: dump ( llvm :: raw_ostream & out , MutableTerm term , const RewriteSystem & system ) const { RewritePathEvaluator evaluator ( term ) ; bool first = true ; for ( const auto & step : Steps ) { if ( ! first ) { out << " } else { first = false ; } step . dump ( out , evaluator , system ) ; } }
Dumps a series of rewrite steps applied to \p term.
Dumps a series of rewrite steps applied to \ p term .