10.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)