Previous:
ref-ari-aex
, Up:
ref-ari
4.7.6 Predicate Summary
-Y
is
+X
ISO
Y
is the value of arithmetic expression
X
+X
=:=
+Y
ISO
the results of evaluating terms
X
and
Y
as arithmetic expressions are equal.
+X
=\=
+Y
ISO
the results of evaluating terms
X
and
Y
as arithmetic expressions are not equal.
+X
<
+Y
ISO
the result of evaluating
X
as an arithmetic expression is less than the result of evaluating
Y
as an arithmetic expression.
+X
>=
+Y
ISO
the result of evaluating
X
as an arithmetic expression is not less than the result of evaluating
Y
as an arithmetic expression.
+X
>
+Y
ISO
the result of evaluating
X
as an arithmetic expression
X
is greater than the result of evaluating
Y
as an arithmetic expression.
+X
=<
+Y
ISO
the result of evaluating
X
as an arithmetic expression is not greater than the result of evaluating
Y
as an arithmetic expression.
User's Manual
Table of Contents
Send feedback on this subject.