Trigger

Key Trigger in Comp Timed Real Trigger refers to a function that maps the array d , y₁ , y₂ , ... , yᵥ consisting of one date d followed by the intermediate array of v real variables y₁ , y₂ , ... , yᵥ into the final boolean variable.
Note, the array y₁ , y₂ , ... , yᵥ has been generated by passing the same date d followed by the original input x₁ , x₂ , ... , xᵤ to the function defined through the key Real Fn
It expects an object of type Trigger

More details at Comp Timed Real Trigger.