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

I

INNERMOST - Static variable in interface dpvis.datastructures.Strategy
 
instantiate(Substitution) - Method in interface dpvis.datastructures.Term
Instantiates the term with the given substitution.
isComplete() - Method in interface dpvis.dpProcessor.DPProcessor
Specifies whether a dependency processor is complete, i.e.
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.
isForbidden() - Method in interface dpvis.datastructures.Term
Gets the forbidden flag of this term.
isLinear() - Method in interface dpvis.datastructures.Term
Computes whether this term is linear, i.e. does not contain multiple occurrences of the same variable.
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 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 interface dpvis.datastructures.Term
Checks if the given term is a (not necessarily proper) subterm of this term.
isVariable() - Method in interface dpvis.datastructures.Term
Gets the variable flag of this term.

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