ST

 

 

 

 

List

List

ST(Ui)

the set of supertypes of Ui.

ST(List)=

List

Collection

Object 

ST(List)=

List

Collection

Object 

EST(Ui)

the set of erased supertypes of U

EST(List)=

List

Collection

Object 

EST(List)=

List

Collection

Object

}

EC

the intersection of all the sets EST(Ui

EC =

List

Collection

Object 

}

MEC

the minimal erased candidate set

for U1 ... Uk

MEC =

List 

}

Relevant(G)

Relevant(G) =

V | 1≤ik:

V in ST(Ui) and V=G<...> 

}

Relevant(List) =

List

List

}

你可能感兴趣的:(ST)