formal languages - What does opposite angle brackets <> mean? -
example 1
forall x,y in set {1,…,5} & x <> y => not m.temps(x) = m.temps(y)
example 2
exists i,j in set inds m.temps & <> j , m.temps(i) > 400 , m.temps(j) > 400
what <> in sentences mean?
it means "not equal to". "x <> y" same "not x = y".
formal-languages formal-methods vdm++
No comments:
Post a Comment