range | Term.Substitution, Term.Unification |
rangeVFresh | Term.Substitution, Term.Unification |
removeRenamings | Term.Substitution, Term.Unification |
rename | Term.LTerm, Term.Substitution, Term.Unification |
renameAvoiding | Term.LTerm, Term.Substitution, Term.Unification |
renameDropNamehint | Term.LTerm, Term.Substitution, Term.Unification |
renameFresh | Term.Substitution, Term.Unification |
renameFreshAvoiding | Term.Substitution, Term.Unification |
renamePrecise | Term.LTerm, Term.Substitution, Term.Unification |
replacePos | Term.Positions |
restrict | Term.Substitution, Term.Unification |
restrictVFresh | Term.Substitution, Term.Unification |
RhsGround | Term.SubtermRule |
RhsPosition | Term.SubtermRule |
RRule | |
1 (Type/Class) | Term.Rewriting.Definitions, Term.SubtermRule, Term.Builtin.Rules, Term.Unification |
2 (Data Constructor) | Term.Rewriting.Definitions, Term.SubtermRule, Term.Builtin.Rules, Term.Unification |
rrulesForMaudeSig | Term.Maude.Signature, Term.Unification |
rRuleToStRule | Term.SubtermRule |
runConversion | Term.Maude.Types |
runTest | Term.UnitTests |