Trigger


Trigger is an abstract type and also direct subtype of Function
aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa
with functions Trigger Functions, direct subtypes Trigger subtypes and keys Trigger keys

TYPE INCLUSION RELATIONSHIPS

Function

Trigger

Generic Trigger

Real Trigger

Timed Real Trigger

</defs>

AVAILABLE FUNCTIONS

Create

</defs>

AVAILABLE CREATE FUNCTION KEYS

Domain Dim

Range Dim

</defs>

This type represents any predicate function that maps u variables x₁ , x₂ , ... , xᵤ into one single boolean variable.
Note, the function can still accept as input more than u variables, but in that case it only processes the first u variables and ignores the rest.
It is also possible for u to be undetermined, in which case the function can process any number of variables, perhaps even a zero number of variables.