Io-7-wyk-Slajd32
Z Studia Informatyczne
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.
