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

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

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

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


Генерация: 1.189. Запросов К БД/Cache: 3 / 0
поделиться
Вверх Вниз