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

S

SEPARATOR - Static variable in class dpvis.output.OutputElement

setComplete(boolean) - Method in interface dpvis.datastructures.DependencyPairProblem

setComplete(boolean) - Method in class dpvis.datastructures.impl.DependencyPairProblemImpl

setConditions(List<Rule>) - Method in class dpvis.datastructures.impl.RuleImpl

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

Sets the conditions of the rule.

setContextSensitive(boolean) - Method in interface dpvis.datastructures.DependencyPairProblem

setContextSensitive(boolean) - Method in class dpvis.datastructures.impl.DependencyPairProblemImpl

setData(Object) - Method in class dpvis.output.OutputElement

setDependencyPairs(Set<Rule>) - Method in interface dpvis.datastructures.DependencyPairProblem

Sets the set of Dependency pairs

setDependencyPairs(Set<Rule>) - Method in class dpvis.datastructures.impl.DependencyPairProblemImpl

setDescription(String) - Method in class dpvis.output.OutputElement

setForbidden(boolean) - Method in class dpvis.datastructures.impl.TermImpl

setForbidden(boolean) - Method in interface dpvis.datastructures.Term

Sets the forbidden flag of this term.

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

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

Sets the (root) function symbol (or variable) of this term.

setLhs(Term) - Method in class dpvis.datastructures.impl.RuleImpl

setLhs(Term) - Method in interface dpvis.datastructures.Rule

Sets the left-hand side of the rule.

setMinimal(boolean) - Method in interface dpvis.datastructures.DependencyPairProblem

setMinimal(boolean) - Method in class dpvis.datastructures.impl.DependencyPairProblemImpl

setParameters(Map<String, String>) - Method in class dpvis.dpProcessor.AbstractCSProcessor

Default implementation for this method.

setParameters(Map<String, String>) - Method in class dpvis.dpProcessor.AbstractProcessor

Default implementation for this method.

setParameters(Map<String, String>) - Method in interface dpvis.dpProcessor.DPProcessor

Sets the processors specific parameters for this processors

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

Sets the replacement map of the strategy.

setRewriteSystem(RewriteSystem) - Method in interface dpvis.datastructures.DependencyPairProblem

Sets the Rewrite System for this DP Problem

setRewriteSystem(RewriteSystem) - Method in class dpvis.datastructures.impl.DependencyPairProblemImpl

setRhs(Term) - Method in class dpvis.datastructures.impl.RuleImpl

setRhs(Term) - Method in interface dpvis.datastructures.Rule

Sets the right-hand side of the rule.

setRules(List<Rule>) - Method in class dpvis.datastructures.impl.RewriteSystemImpl

setRules(List<Rule>) - Method in interface dpvis.datastructures.RewriteSystem

Sets the rules of the rewrite system.

setSignature(Set<String>) - Method in interface dpvis.datastructures.DependencyPairProblem

Sets the signature specifying those terms whose termination shall be proved.

setSignature(Set<String>) - Method in class dpvis.datastructures.impl.DependencyPairProblemImpl

setStrategy(Strategy) - Method in class dpvis.datastructures.impl.RewriteSystemImpl

setStrategy(Strategy) - Method in interface dpvis.datastructures.RewriteSystem

Sets the strategy of the rewrite system.

setSubterms(List<Term>) - Method in class dpvis.datastructures.impl.TermImpl

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

Sets the (immediate) subterms of this term.

setVariable(boolean) - Method in class dpvis.datastructures.impl.TermImpl

setVariable(boolean) - Method in interface dpvis.datastructures.Term

Sets the variable flag of this term.

setVariables(List<String>) - Method in class dpvis.datastructures.impl.RewriteSystemImpl

setVariables(List<String>) - Method in interface dpvis.datastructures.RewriteSystem

Sets those functions that shall be interpreted as variables.

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

Strategy - Interface in dpvis.datastructures

Class modelling a Strategy.

STYLED_PARAGRAPH - Static variable in class dpvis.output.OutputElement

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

substituteAt(List<Integer>, Term) - Method in interface dpvis.datastructures.Term

Substitutes the given substitute term for the subterm of this term at the specified position.

Substitution - Interface in dpvis.datastructures

Class modelling a Substitution.