|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |