|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use UnificationException | |
|---|---|
| dpvis.datastructures | |
| Uses of UnificationException in dpvis.datastructures |
|---|
| Methods in dpvis.datastructures that throw UnificationException | |
|---|---|
void |
Substitution.merge(Substitution newSubst)
Merges a given substitution with this substitution if they are compatible. |
static Substitution |
UtilityFunctions.unify(Term t1,
Term t2)
Tries to unify two terms. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||