34.9.3 Term Expressions

A term expression has one of the following forms, where T_1 and T_2 denote term expressions, X denotes a variable, I denotes an integer, and S denotes the current store.

min(X)
evaluates to the minimum of D(X,S)
max(X)
evaluates to the maximum of D(X,S)
card(X)
evaluates to the size of D(X,S)
X
evaluates to the integer value of X. The indexical will suspend until X is assigned.
I
an integer
inf
minus infinity
sup
plus infinity
-T_1
evaluates to S(T_1) negated
T_1+T_2
evaluates to the sum of S(T_1) and S(T_2)
T_1-T_2
evaluates to the difference of S(T_1) and S(T_2)
T_1*T_2
evaluates to the product of S(T_1) and S(T_2), where S(T_2) must not be negative
T_1/>T_2
evaluates to the quotient of S(T_1) and S(T_2), rounded up, where S(T_2) must be positive
T_1/<T_2
evaluates to the quotient of S(T_1) and S(T_2), rounded down, where S(T_2) must be positive
T_1 mod T_2
evaluates to the modulo of S(T_1) and S(T_2)