0

フォームの JML 式がどのように評価されるかを知りたいです\old(Expression[Id])。つまり、\old(vector[value-1])式がある場合\old、「値」または単に の値を参照しますvector[value-1]。前もって感謝します！

4

1 に答える 1

1

うまくいけば、あなたは他の場所であなたの質問に対する答えを見つけましたが、それは最初のものです：

\old(vector[value-1])は、の古いベクトルの値です\old(value)-1。

于 2009-08-03T22:16:00.787 に答える