6.1.3.1 Equality Terms

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.