Основы объектно-ориентированного программирования
0e1cc9b4

У6.8 Дополнительные операции для стеков


Модифицируйте спецификацию АТД для стеков, включив в нее операции count (возвращает число элементов стека), change_top (заменяет верхний элемент стека заданным элементом) и wipe_out (удаляет все элементы). Не забудьте включить необходимые аксиомы и предусловия.



Содержание раздела