...
Режем трассу для каждого определенного свойства, с учетом зависимостей
Как режем трассу:
- Проходим по нашей трассе в обратном направлении, берем в нарезанную трассу события, которые непосредственно относятся к свойству P
- Берем в нарезанную трассу события, от которых зависит наше свойство P.
На основе векторных часов записываем всё это в множество, в котором учитываем зависимости и атомарные блоки.
...