Ad-Hoc-Polymorphie und Typhierarchie

Auflösung von p (new D(), new D()) bzgl.

static void p (C x, D y);
static void p (C x, C y);
static void p (E x, C y);

• bestimme die Menge P mathend000# der zum Aufruf passenden Methoden

  (für diese gilt: statischer Typ der Argumente ≤ⁿ mathend000# Typ der formalen Parameter)

• bestimme die Menge M mathend000# der minimalen Elemente von P mathend000#

  (Def: m mathend000# ist minimal falls ¬∃p∈P : p < m mathend000#)

• M mathend000# muß eine Einermenge sein, sonst ist Überladung nicht auflösbar