x
Key
x
of function
Evaluate
in
Timed Real Trigger
refers to a
1D-array
of
u
numerical variables
x₁ , x₂ , ... , xᵤ
that together with the date defined in
Date
form the input to the predicate function.