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

M

markForbiddenTerms(Map<String, List<Integer>>) - Method in class dpvis.datastructures.impl.TermImpl

markForbiddenTerms(String, List<Integer>) - Method in class dpvis.datastructures.impl.TermImpl

markForbiddenTerms(Map<String, List<Integer>>) - Method in interface dpvis.datastructures.Term

Marks forbidden subterms according to the given replacement map.

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

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

Marks the root function symbol with the character '#'.

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

markVariables(List<String>) - Method in class dpvis.datastructures.impl.RuleImpl

markVariables(List<String>) - Method in class dpvis.datastructures.impl.TermImpl

markVariables(List<String>) - Method in interface dpvis.datastructures.Rule

Marks the variables in the rule (see also Term.markVariables()).

markVariables(List<String>) - Method in interface dpvis.datastructures.Term

Marks the variables in a term, i.e. sets the variable flags for the term and all of its subterms.

merge(Substitution) - Method in interface dpvis.datastructures.Substitution

Merges a given substitution with this substitution if they are compatible.