When datavalues contain three dots then these are rendered quite strangely in the State or Events view (see screenshot). It seems that the first two dots are replaced by a unicode symbol and the third one not.
Example machine: machine SetMinusScalingSmaller
variables s2 s1
invariants @inv1 s2 ∈ ℙ(ℤ) @inv2 s1 ∈ ℙ(ℤ)
events event INITIALISATION then @act1 s2 ≔ {x∣x∈1‥20000 ∧ x mod 3 =0} @act2 s1 ≔ {y∣y∈10000‥20000 ∧ y mod 2 = 0} end
When datavalues contain three dots then these are rendered quite strangely in the State or Events view (see screenshot). It seems that the first two dots are replaced by a unicode symbol and the third one not.
Example machine:
machine SetMinusScalingSmaller
variables s2 s1
invariants
@inv1 s2 ∈ ℙ(ℤ)
@inv2 s1 ∈ ℙ(ℤ)
events
event INITIALISATION
then
@act1 s2 ≔ {x∣x∈1‥20000 ∧ x mod 3 =0}
@act2 s1 ≔ {y∣y∈10000‥20000 ∧ y mod 2 = 0}
end
event SetMinus
then
@act1 s1 ≔ s1 ∖ s2
end
end