Timed Real Trigger
Timed Real Trigger is an abstract type and also direct subtype of Trigger
aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa
with functions Timed Real Trigger Functions, direct subtypes Timed Real Trigger subtypes and keys Timed Real Trigger keys
TYPE INCLUSION RELATIONSHIPS
AVAILABLE FUNCTIONS
AVAILABLE CREATE FUNCTION KEYS
This type represents any predicate function that maps a sequence d , x₁ , x₂ , ... , xᵤ consisting of one date d followed by u real variables (i.e. single numbers) x₁ , x₂ , ... , xᵤ into one single boolean variable.
Note, the function can still accept as input more than u real variables, but in that case it only processes the first u real variables and ignores the rest.
Exceptionally, u = 0 is generally allowed and means that the function acts on no numerical variables, but still returns some output that depends only on the input date variable.
The dimensionality of the function's domain is u + 1, with the 1 added due to the date variable that is always the first input variable.
The best way to understand what a specific function does, is by examining the output of its local functionEvaluate for various choices of input variables.
