Uses of Class
dpvis.datastructures.exceptions.AmbiguityException

Packages that use AmbiguityException

dpvis.datastructures
dpvis.datastructures.impl

Uses of AmbiguityException in dpvis.datastructures

Methods in dpvis.datastructures that throw AmbiguityException

java.util.List<java.lang.Integer>

Term.getReplacementMap(java.lang.String function) Returns the replacment map for the specified function symbol, according to the forbidden flags of the term and its subterms.

Uses of AmbiguityException in dpvis.datastructures.impl

Methods in dpvis.datastructures.impl that throw AmbiguityException

java.util.List<java.lang.Integer>

TermImpl.getReplacementMap(java.lang.String function)