Uses of Class
dpvis.datastructures.exceptions.AmbiguityException

Packages that use AmbiguityException
dpvis.datastructures   
 

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.