SMALLTALK K1ex127-.45ex51275ahler/Bothner

15.1 Prüfung von Direktverbindungen 321
ˆ Um den (bisherigen) Minimal-Sammler zu sichern, ist er als neues Objekt in
den Geprüft-Sammler aufzunehmen.
Wenden wir diese Vorschrift auf unser Beispiel an, so erhalten wir als neuen Geprüft-
Sammler:
neuer Geprüft-Sammler: ( #(Ful 0 Ful) )
ˆ Anschließend wird der bisherige Minimal-Sammler in dem Erreicht-Sammler
durch die Gesamtheit aller potentiellen Minimal-Sammler ersetzt.
Die Ersetzung des bisherigen Minimal-Sammlers “#(Ful 0 Ful)” durch den potentiellen
Minimal-Sammler “( #(Mue 394 Ful) #(Ham 431 Ful) )” ergibt einen
Erreicht-Sammler (vor Löschung) in der Form:
( #(Mue 394 Ful) #(Ham 431 Ful) )
ˆ Damit der Erreicht-Sammler so klein wie möglich gehalten wird, sind sämtliche
Objekte aus dem Erreicht-Sammler zu löschen, die als jeweils 1. Objekt eine
Station enthalten, die bereits im Geprüft-Sammler enthalten ist.
Im Beispiel ist der zuvor ermittelte Erreicht-Sammler bereits in seiner endgültigen
Form, da die Station “Ful” aus dem Geprüft-Sammler von allen Stationen des
Erreicht-Sammlers verschieden ist und somit keine Löschungen in dem Erreicht-
Sammler vorzunehmen sind. Also gilt:
neuer Erreicht-Sammler (nach Löschung):( #(Mue 394 Ful) #(Ham 431 Ful) )
ˆ Letztlich ist aus dem Knoten-Sammler diejenige Station zu entfernen, die mit
dem minimalen Knoten korrespondiert.
Auf der Basis der oben formulierten Ausgangskonstellation
Knoten-Sammler: (Ham, Koe, Kar, Stu, Mai, Fra, Mue, Ful, Ber, Dre)
Geprüft-Sammler: ()
Erreicht-Sammler: ( #(Ful 0 Ful) )
lassen sich die angegebenen Verfahrensschritte folgendermaßen zusammenfassen:
Minimal-Sammler:
#(Ful 0 Ful)
minimaler Knoten:
Ful
Ankunftsort “Ber” stimmt nicht mit “Ful” überein
Nachfolger:
Ham, Mue
potentieller Minimal-Sammler: ( #(Mue 394+0 Ful) #(Ham 431+0 Ful) )
neuer Geprüft-Sammler: ( #(Ful 0 Ful) )
neuer Erreicht-Sammler: ( #(Mue 394 Ful) #(Ham 431 Ful) )
(vor Löschung)
neuer Erreicht-Sammler: ( #(Mue 394 Ful) #(Ham 431 Ful) )
(nach Löschung)
aus dem Knoten-Sammler wird der Eintrag “Ful” gelöscht