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

C

cap(String, Collection<String>) - Method in class dpvis.datastructures.impl.TermImpl

cap(String, Collection<String>) - Method in interface dpvis.datastructures.Term

Replaces all (not necessarily immediate) subterms of this term that are rooted by function symbol given in the second argument by a new variable.

computeGeneralizedUseableRules(RewriteSystem, Set<String>) - Static method in class dpvis.dpProcessor.AbstractCSProcessor

Same as computeUsableRules, except that the depends relation is generalised.

computeUseableRules(RewriteSystem, Set<String>) - Static method in class dpvis.dpProcessor.AbstractCSProcessor

Computes the usable rules for the given function symbols.

computeUseableRules(RewriteSystem, Set<String>) - Static method in class dpvis.dpProcessor.AbstractProcessor

Computes the usable rules for the given function symbols.

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

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

Computes whether the term contains the given variable.

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

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

Detects whether the variables of this term contain the given variable prefix.

CONTEXTSENSITIVE - Static variable in interface dpvis.datastructures.Strategy

ContextSensitiveDpProcessor - Interface in dpvis.dpProcessor

createDependencyPairProblem(Set<Rule>, RewriteSystem, Set<String>) - Static method in class dpvis.datastructures.impl.DSFactory

Constructs a new DependencyPairProblem out of the given parameters.

createDependencyPairProblem(Set<Rule>, RewriteSystem, Set<String>, boolean, boolean, boolean) - Static method in class dpvis.datastructures.impl.DSFactory

Constructs a new DependencyPairProblem out of the given parameters.

createDependencyPairProblem(DependencyPairProblem) - Static method in class dpvis.datastructures.impl.DSFactory

Creates a deep copy out of the given Dependency Pair Problem.

createMostGeneralTerm(String, int, List<Integer>) - Static method in class dpvis.datastructures.impl.DSFactory

Creates the most general term for a function symbol with arity.

createRewriteSystem() - Static method in class dpvis.datastructures.impl.DSFactory

Constructs a new empty Rewrite System.

createRewriteSystem(List<Rule>) - Static method in class dpvis.datastructures.impl.DSFactory

Constructs a new Rewrite System with the given Rules.

createRewriteSystem(RewriteSystem) - Static method in class dpvis.datastructures.impl.DSFactory

Creates a deep copy of the given Rewrite System.

createRewriteSystem(List<Rule>, Strategy) - Static method in class dpvis.datastructures.impl.DSFactory

Constructs a new Rewrite System out of the given rules and the strategy.

createRule(Term, Term) - Static method in class dpvis.datastructures.impl.DSFactory

Constructs a new unconditional Rule out of the given parameters.

createRule(Term, Term, List<Rule>) - Static method in class dpvis.datastructures.impl.DSFactory

Constructs a new conditional Rule out of the given parameters.

createRule(Rule) - Static method in class dpvis.datastructures.impl.DSFactory

Creates a deep copy of the given rule.

createStrategy(int) - Static method in class dpvis.datastructures.impl.DSFactory

Constructs a new Strategy out of the given type.

createStrategy(int, Map<String, List<Integer>>) - Static method in class dpvis.datastructures.impl.DSFactory

Constructs a new Strategy out of the given type and replacement map.

createStrategy(Strategy) - Static method in class dpvis.datastructures.impl.DSFactory

Creates a deep copy of the given Strategy.

createSubstitution() - Static method in class dpvis.datastructures.impl.DSFactory

Constructs a new empty Substitution.

createTerm(String, List<Term>, boolean, boolean) - Static method in class dpvis.datastructures.impl.DSFactory

Constructs a new Term out of the given parameters.

createTerm(String, List<Term>, boolean) - Static method in class dpvis.datastructures.impl.DSFactory

Constructs a new Term out of the given parameters.

createTerm(Term) - Static method in class dpvis.datastructures.impl.DSFactory

Creates a deep copy of the given term.

createTerm(String) - Static method in class dpvis.datastructures.impl.DSFactory

Creates a term from the given string representation.