Comp Timed Real Trigger


Comp Timed Real Trigger is a direct subtype of Timed Real Trigger
aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa
with functions Comp Timed Real Trigger Functions, keys Comp Timed Real Trigger keys and example object CompTimRealTrig

TYPE INCLUSION RELATIONSHIPS

Timed Real Trigger

Comp Timed Real Trigger

</defs>

AVAILABLE FUNCTIONS

Create

</defs>

AVAILABLE CREATE FUNCTION KEYS

Real Fn

Trigger

</defs>

TYPICAL OBJECTS OF TYPE Comp Timed Real Trigger

CompTimRealTrig

</defs>

This type represents a predicate function ƒ that represents the composite of a given Real Trigger𝘨 and a given Real Functionh
Using the conventional mathematical symbol ⸰ for the composition operator between functions, the formal definition is:
ƒ = 𝘨 ⸰ h
h is either:
a) A Timed Real To Real 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 v real variables y₁ , y₂ , ... , yᵥ
or
a) A Real To Real Function that maps u real variables (i.e. single numbers) x₁ , x₂ , ... , xᵤ into v real variables y₁ , y₂ , ... , yᵥ

𝘨 is either:
a) A Timed Real Trigger that maps a sequence d , y₁ , y₂ , ... , yᵥ consisting of the original date d followed by the intermediate real variables y₁ , y₂ , ... , yᵥ into one boolean variable.
or
b) A Real Trigger that maps v real variables y₁ , y₂ , ... , yᵥ into one boolean variable.
Note, v is not necessarily equal to u
Often v = 1, in which case the variables d , x₁ , x₂ , ... , xᵤ (or x₁ , x₂ , ... , xᵤ) are mapped into one single intermediate variable y₁

In the special case where the function h is of type Real To Real Function and the second of type Real Trigger, the output of the resulting composite function is independent of the input date variable d