The eq-oprs =, ==, and \eq all mean the same thing.
For example, the equality-terms 3 = 3, 3 == 3,
and 3 \eq 3 all are true.
Similarly, all of ~=, !=, and \neq
mean the same thing.
For example, 4 ~= 5, 4 != 5, and 4 \neq 5 are all true.
The lsl-op-terms
(see section 6.1.5 LSL Operator Terms)
on either side of an eq-opr must have the same sort.
The sort of a term with an eq-opr in it, such as i = 2,
is Bool.
The meaning of = (and its synonyms == and \eq)
is standard.
The standard meaning is that the two lsl-op-terms must be equal.
The meaning of ~= (and its synonyms !=, and \neq)
is the negation of the meaning of =.
That is, E1 ~= E2 is true if E1 = E2 are not equal.
Go to the first, previous, next, last section, table of contents.