package p; | |
import java.util.Vector; | |
class A { | |
void k() { | |
Vector<Vector<String>> v1= new Vector<Vector<String>>(); | |
Vector<Vector<String>> v2= new Vector<Vector<String>>(); | |
Vector<String> v3= new Vector<String>(); | |
v3.add(new String("fff")); // String <= E[v3] --> String is | |
// not parametric --> nothing to unify | |
v2.add(v3); // v3 <= E[v2] --> 2. unify (E[v3], E[E[v2]]) | |
v1.add(v2.get(0)); // E[v2] <= E[v1] --> 1. unify (E[E[v2]], E[E[v1]]) | |
} | |
} |