JML-оценка \old(Выражение[Id])
-
20-08-2019 - |
Вопрос
Я хотел бы знать, как JML-выражение вида \old(Expression[Id])
оценивается, т. е.если у меня есть \old(vector[value-1])
выражение, делает ли \old
также обратитесь к "значению" или просто к значению vector[value-1]
.Заранее спасибо!
Решение
Что ж, надеюсь, вы нашли ответ на свой вопрос в другом месте, но это первый:
\old(vector[value-1])
является ли значение в старом векторе в \old(value)-1
.
Не связан с StackOverflow