10.35.9.3 Term Expressions

A term expression has one of the following forms, where T1 and T2 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

-T1

evaluates to S(T1) negated

T1+T2

evaluates to the sum of S(T1) and S(T2)

T1-T2

evaluates to the difference of S(T1) and S(T2)

T1*T2

evaluates to the product of S(T1) and S(T2), where S(T2) must not be negative

T1/>T2

evaluates to the quotient of S(T1) and S(T2), rounded up, where S(T2) must be positive

T1/<T2

evaluates to the quotient of S(T1) and S(T2), rounded down, where S(T2) must be positive

T1 mod T2

evaluates to the modulo of S(T1) and S(T2)

T1 rem T2

evaluates to the remainder of S(T1) and S(T2)