Trigger

Key Trigger in Comp Real Trigger refers to a function that maps 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 original input x₁ , x₂ , ... , xᵤ to the function defined through the key Real Fn
It expects an object of type Real Trigger

More details at Comp Real Trigger.