x
Key
x
of function
Evaluate
in
Real Trigger
refers to a
1D-array
of
u
numerical variables
x₁ , x₂ , ... , xᵤ
that are passed as input to the predicate function.