JML Avaliação de \ idade (Expressão [id])
-
20-08-2019 - |
Pergunta
Gostaria de saber como uma expressão JML do \old(Expression[Id])
forma é avaliada, ou seja, se eu tiver a expressão \old(vector[value-1])
, faz o \old
também se referem ao "valor" ou apenas o que o valor da vector[value-1]
. Agradecemos antecipadamente!
Solução
Bem espero que você encontrou a resposta à sua pergunta em outros lugares, mas é a primeira:
\old(vector[value-1])
é o valor no velho vetor no \old(value)-1
.
Licenciado em: CC-BY-SA com atribuição
Não afiliado a StackOverflow