На рис. 3.4 представлена карта состояний объекта класса CPool для рассматриваемого примера.
Рис.3.4. Карта состояний для объекта класса Cpool
На карте имеется три состояния, в каждом из которых определяется непрерывное поведение (табл. 3.1).
Таблица 3.1
Основные зависимости, описывающие непрерывное поведение
Equations_1 | Equations_2 | Equations_3 |