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

R

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 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 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 interface dpvis.datastructures.Term
Replaces each occurrence of the variable oldVar by newVar.
reverse() - Method in interface dpvis.datastructures.RewriteSystem
Swaps the direction of all rules of the Rewrite System, i.e.
RewriteSystem - Interface in dpvis.datastructures
Class modelling a Rewrite System.
Rule - Interface in dpvis.datastructures
Class modelling a term rewrite rule.
RULE_LIST - Static variable in class dpvis.output.OutputElement
 

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