Io-7-wyk-Slajd32

Specyfikacje aksjomatyczne(4)

Skoro możemy dodawać nowych abonentów, to powinniśmy także móc usuwać abonentów. W tym celu wprowadzimy operację Delete (po angielsku „usuń”).

Parametrami wejściowymi dla tej operacji są:

• nazwisko usuwanego abonenta N oraz
• książka telefoniczna D, z której chcemy usunąć informacje o tym abonencie.

W rezultacie dostajemy książkę telefoniczną, z której informacja o danym abonencie została usunięta.

<< Poprzedni slajd | Spis treści | Następny slajd >>