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

N

narrow(Term) - Method in class dpvis.datastructures.impl.RewriteSystemImpl

narrow(RewriteSystem, int, boolean, Strategy) - Method in class dpvis.datastructures.impl.TermImpl

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

Narrows a given term with respect to this rewrite system.

narrow(RewriteSystem, int, boolean, Strategy) - Method in interface dpvis.datastructures.Term

Computes all (context-sensitive) narrowings of this term and its subterms (or only of the subterms if the root parameter is false) according to the given Rewrite System. the given strategy is used set the forbidden flags of resulting terms.

NEW_VARIABLE_PREFIX - Static variable in interface dpvis.datastructures.Term