Valutazione JML di \ old (Expression [Id])
-
20-08-2019 - |
Domanda
Vorrei sapere come viene valutata un'espressione JML del modulo \old(Expression[Id])
, ovvero se ho l'espressione \old(vector[value-1])
, \old
fa riferimento anche a " valore " o semplicemente al valore di vector[value-1]
. Grazie in anticipo!
Soluzione
Beh, spero che tu abbia trovato la risposta alla tua domanda altrove, ma è la prima:
\old(vector[value-1])
è il valore nel vecchio vettore in \old(value)-1
.
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a StackOverflow