A C D E F G H I M N O P R S T U W

R

removeContextSensitivityFlags() - Method in class dpvis.datastructures.impl.RewriteSystemImpl

removeContextSensitivityFlags() - Method in class dpvis.datastructures.impl.RuleImpl

removeContextSensitivityFlags() - Method in class dpvis.datastructures.impl.TermImpl

removeContextSensitivityFlags() - Method in interface dpvis.datastructures.RewriteSystem

Removes all forbidden flags from the rules of this Rewrite System.

removeContextSensitivityFlags() - Method in interface dpvis.datastructures.Rule

Removes all forbidden flags from the rules of this Rule.

removeContextSensitivityFlags() - Method in interface dpvis.datastructures.Term

Removes all forbidden flags from the rules of this Term.

ren(String) - Method in class dpvis.datastructures.impl.TermImpl

ren(String) - Method in interface dpvis.datastructures.Term

Linearizes the term, i.e. each variable of this term (and its subterms) is replaced by a new variable, in such a way that after the replacement the term is linear.

renameVariables(String) - Method in class dpvis.datastructures.impl.RuleImpl

renameVariables() - Method in class dpvis.datastructures.impl.TermImpl

renameVariables(String) - Method in interface dpvis.datastructures.Rule

Renames all variables (including those in conditions) of this rule.

renameVariables() - Method in interface dpvis.datastructures.Term

Renames all variables in the term by prefixing them with "_".

replaceVariable(String, String) - Method in class dpvis.datastructures.impl.TermImpl

replaceVariable(String, String) - Method in interface dpvis.datastructures.Term

Replaces each occurrence of the variable oldVar by newVar.

reverse() - Method in class dpvis.datastructures.impl.RewriteSystemImpl

reverse() - Method in interface dpvis.datastructures.RewriteSystem

Swaps the direction of all rules of the Rewrite System, i.e.

rewriteSystem - Variable in class dpvis.datastructures.impl.DependencyPairProblemImpl

RewriteSystem - Interface in dpvis.datastructures

Class modelling a Rewrite System.

RewriteSystemImpl - Class in dpvis.datastructures.impl

RewriteSystemImpl(List<Rule>) - Constructor for class dpvis.datastructures.impl.RewriteSystemImpl

RewriteSystemImpl(List<Rule>, int) - Constructor for class dpvis.datastructures.impl.RewriteSystemImpl

RewriteSystemImpl(List<Rule>, Strategy) - Constructor for class dpvis.datastructures.impl.RewriteSystemImpl

RewriteSystemImpl(RewriteSystem) - Constructor for class dpvis.datastructures.impl.RewriteSystemImpl

Rule - Interface in dpvis.datastructures

Class modelling a term rewrite rule.

RULE_LIST - Static variable in class dpvis.output.OutputElement

RuleImpl - Class in dpvis.datastructures.impl

RuleImpl(Term, Term) - Constructor for class dpvis.datastructures.impl.RuleImpl

RuleImpl(Term, Term, List<Rule>) - Constructor for class dpvis.datastructures.impl.RuleImpl

RuleImpl(Rule) - Constructor for class dpvis.datastructures.impl.RuleImpl