Évaluation JML de \ old (Expression [Id])
-
20-08-2019 - |
Question
Je voudrais savoir comment une expression JML de la forme \old(Expression[Id])
est évaluée, c'est-à-dire que si j'ai l'expression \old(vector[value-1])
, la \old
fait-elle également référence à la " valeur " ou simplement le à la valeur de la vector[value-1]
. Merci d'avance!
La solution
J'espère que vous avez trouvé la réponse à votre question ailleurs, mais c'est la première:
\old(vector[value-1])
est la valeur de l'ancien vecteur à \old(value)-1
.
Licencié sous: CC-BY-SA avec attribution
Non affilié à StackOverflow