Old의 JML 평가 (Expression [ID])

StackOverflow https://stackoverflow.com/questions/1050893

문제

양식의 JML 표현이 어떻게 \old(Expression[Id]) 내가 가지고 있다면 평가됩니다 \old(vector[value-1]) 표현, \old 또한 "값"또는 단지 vector[value-1]. 미리 감사드립니다!

도움이 되었습니까?

해결책

잘만되면 당신은 다른 곳에서 당신의 질문에 대한 답을 찾았지만 그것은 첫 번째입니다.

\old(vector[value-1]) 이전 벡터의 값입니다 \old(value)-1.

라이센스 : CC-BY-SA ~와 함께 속성
제휴하지 않습니다 StackOverflow
scroll top