Что означают противоположные угловые скобки ‹›?

Пример 1

forall x,y in set {1,…,5} & X <> y => not m.temps(x) = m.temps(y)

Пример 2

exists i,j in set inds m.temps & i <> j and m.temps(i) > 400 and m.temps(j) > 400

Что означает ‹> в этих предложениях?


formal-languages formal-methods vdm++
person Ricardo    schedule 30.10.2014    source источник

Ответы (1)


arrow_upward
3
arrow_downward

Это просто означает «не равно». Итак, «x ‹> y» — это то же самое, что «не x ​​= y».

person Nick Battle    schedule 30.10.2014
comment
Спасибо! Я только недавно узнал об этом сам, прочитав руководство vdm. :D - person Ricardo; 30.10.2014