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.