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

I

INNERMOST - Static variable in interface dpvis.datastructures.Strategy

instantiate(Substitution) - Method in class dpvis.datastructures.impl.TermImpl

instantiate(Substitution) - Method in interface dpvis.datastructures.Term

Instantiates the term with the given substitution.

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

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

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

Specifies whether a dependency processor is complete, i.e.

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

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

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

Computes whether the rewrite system is conditional, i.e.

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

Computes whether the rule is a conditional one.

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

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

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

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

Gets the forbidden flag of this term.

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

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

Computes whether this term is linear, i.e. does not contain multiple occurrences of the same variable.

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

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

isNarrowable(RewriteSystem) - Method in class dpvis.datastructures.impl.TermImpl

isNarrowable(RewriteSystem) - Method in interface dpvis.datastructures.Term

Checks whether this term or one of its allowed (according to the forbidden flags) subterms can be narrowed according to the given Rewrite System R.

isProperSubterm(Term) - Method in class dpvis.datastructures.impl.TermImpl

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

Checks if the given term is a proper subterm of this term.

isStronglyConservative(Rule) - Static method in class dpvis.dpProcessor.AbstractCSProcessor

isSubterm(Term) - Method in class dpvis.datastructures.impl.TermImpl

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

Checks if the given term is a (not necessarily proper) subterm of this term.

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

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

Gets the variable flag of this term.