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

G

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

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

Computes all subterms of this term, that occur at forbidden positions (in the usual context-sensitve sense) in this term according to the forbidden flags.

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

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

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

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

Gets the list of function symbols of the rewrite system together with the corresponding arities.

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

Gets the list of function symbols of the rule together with the corresponding arities.

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

Returns all function symbols (not variables) occurring in this term and its subterms, as pair together with their arities.

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

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

Extracts (deep) copies of all subterms, rooted by one of the given function symbols, that are allowed according to the forbidden flags.

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

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

Gets the conditions of the rule.

getData() - Method in class dpvis.output.OutputElement

getDefinedFunctions(Collection<Rule>, List<String>) - Static method in class dpvis.dpProcessor.AbstractCSProcessor

Gets the defined function symbols that occur in the right hand side of one of the given rules.

getDefinedFunctions(Collection<Rule>, List<String>) - Static method in class dpvis.dpProcessor.AbstractProcessor

Gets the defined function symbols that occur in the right hand side of one of the given rules.

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

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

Gets the defined function symbols of the rewrite system, i.e.

getDependencyPairs() - Method in interface dpvis.datastructures.DependencyPairProblem

Gets the set of Dependency Pairs that are contained in this DP problem

getDependencyPairs() - Method in class dpvis.datastructures.impl.DependencyPairProblemImpl

getDependencyPairSymbols() - Method in interface dpvis.datastructures.DependencyPairProblem

Returns the root symbols of left- and right-hand sides of dependency pairs of the DP problem.

getDependencyPairSymbols() - Method in class dpvis.datastructures.impl.DependencyPairProblemImpl

getDescription() - Method in class dpvis.output.OutputElement

getFirst() - Method in class dpvis.datastructures.Pair

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

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

Returns all function symbols that occur as root of a forbidden subterm of this term.

getForbiddenFunctions(Collection<Rule>) - Static method in class dpvis.dpProcessor.AbstractCSProcessor

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

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

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

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

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

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

Gets all function symbols that occur in the rule (Including conditions).

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

Gets all function symbols (not variables) contained in this term and all of its subterms.

getHiddenSymbols() - Method in interface dpvis.datastructures.DependencyPairProblem

Computes the hidden symbols of a DP problem (P, R), i.e. those defined functions of the signature of R, that occur at a forbidden position in one of the right hand sides of pairs in P.

getHiddenSymbols() - Method in class dpvis.datastructures.impl.DependencyPairProblemImpl

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

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

Computes the hidden symbols of a term, i.e. those function symbols (not variables) occurring as root of a non-replacing subterm of this term.

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

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

Gets the left-hand side of the rule.

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

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

Returns the set of variables that occur at a non-replacing position in this term according to the forbidden flags.

getOutput() - Method in interface dpvis.dpProcessor.DPProcessor

Provides the (human readable) output of the processor as list of OutputElements, see class OutputElement for Details

getParameterDescription() - Method in class dpvis.dpProcessor.AbstractCSProcessor

Default implementation for this method.

getParameterDescription() - Method in class dpvis.dpProcessor.AbstractProcessor

Default implementation for this method.

getParameterDescription() - Method in interface dpvis.dpProcessor.DPProcessor

Specifies which parameters can be set for this processor.

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

getReplacementMap() - Method in interface dpvis.datastructures.Strategy

Gets the replacement map of the strategy.

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

Returns the replacment map for the specified function symbol, according to the forbidden flags of the term and its subterms.

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

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

Returns a set of variables occurring in this term at replacing positions according to the forbidden flags of this term and its subterms.

getRewriteSystem() - Method in interface dpvis.datastructures.DependencyPairProblem

Gets the Rewrite System associated with this DP Problem

getRewriteSystem() - Method in class dpvis.datastructures.impl.DependencyPairProblemImpl

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

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

Gets the right-hand side of the rule.

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

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

Gets the rules of the rewrite system.

getSecond() - Method in class dpvis.datastructures.Pair

getSignature() - Method in interface dpvis.datastructures.DependencyPairProblem

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

getSignature() - Method in class dpvis.datastructures.impl.DependencyPairProblemImpl

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

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

Gets the signature of the rewrite system.

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

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

Gets the strategy of the rewrite system.

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

Returns the substitution as a mapping from variables to terms.

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

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

Gets the (immediate) subterms of this term.

getSubtermsOfSignature(Set<String>) - Method in class dpvis.datastructures.impl.TermImpl

getSubtermsOfSignature(Set<String>) - Method in interface dpvis.datastructures.Term

Returns deep copies of all (not necessarily immediate) subterms of this term that are rooted by a function symbol contained in the given signature.

getType() - Method in interface dpvis.datastructures.Strategy

Gets the type of the strategies, possible types are Strategy.INNERMOST Strategy.OUTERMOST Strategy.CONTEXTSENSITIVE Strategy.ARBITRARY Note that the type of strategy is final, i.e. it cannot be changed after the Strategy has been initialized.

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

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

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

Extracts all variables that are used in the rules of the rewrite systems.

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

Computes all variables contained in this term (and its subterms), according to the variable flags.