10.35.10.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)
Send feedback on this subject.