Comp Real Trigger


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

TYPE INCLUSION RELATIONSHIPS

Real Trigger

Comp Real Trigger

</defs>

AVAILABLE FUNCTIONS

Create

</defs>

AVAILABLE CREATE FUNCTION KEYS

Real Fn

Trigger

</defs>

TYPICAL OBJECTS OF TYPE Comp Real Trigger

CompRealTrig

</defs>

This type represents a predicate function ƒ that represents the composite of a given Real Trigger𝘨 and a given Real To Real Functionh
Using the conventional mathematical symbol ⸰ for the composition operator between functions, the formal definition is:
ƒ = 𝘨 ⸰ h
h is 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 a Real Trigger that maps v real variables y₁ , y₂ , ... , yᵥ into one boolean variable.
Note, v is not necessarily equal to u

It follows that ƒ maps u real variables (i.e. single numbers) x₁ , x₂ , ... , xᵤ into one single boolean variable by means of a chain of two separate steps.

In the first step, the real variables x₁ , x₂ , ... , xᵤ are mapped into v intermediate real variables y₁ , y₂ , ... , yᵥ with the help of the function h
Often v = 1, in which case the variables x₁ , x₂ , ... , xᵤ are mapped into one single intermediate variable y₁

In the second step, the intermediate real variables y₁ , y₂ , ... , yᵥ are mapped into the final boolean variable with the help of the predicate function 𝘨