13 lines
300 B
Plaintext
13 lines
300 B
Plaintext
|
Vector<b> Vector<Vector<a>>
|
||
|
|
|
||
|
|
/* Nach Sub_unify <? durch <. ersetzt dadurch TPH b <. Vector<a>
|
||
|
|
FUNKTIONIERT !!! */
|
||
|
|
|
||
|
|
/* muss noch nac der 2. Menge angepasst werden PL 07-08-03
|
||
|
|
|
||
|
|
class Number {}
|
||
|
|
class Integer extends Number {}
|
||
|
|
|
||
|
|
class Vector<a> { }
|
||
|
|
|
||
|
|
class Matrix extends Vector<Vector<Integer>> { }
|