Intervaled Real Trigger


Intervaled 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 Intervaled Real Trigger Functions, keys Intervaled Real Trigger keys and example object IntervRealTrig

TYPE INCLUSION RELATIONSHIPS

Timed Real Trigger

Intervaled Real Trigger

</defs>

AVAILABLE FUNCTIONS

Create

</defs>

AVAILABLE CREATE FUNCTION KEYS

Included

Nodes

Triggers

</defs>

TYPICAL OBJECTS OF TYPE Intervaled Real Trigger

IntervRealTrig

</defs>

This type represents a 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 boolean variable and constructed with the help of r predicate functions ƒ₁ , ƒ₂ , ... , ƒᵣ, each of which maps the same u real variables x₁ , x₂ , ... , xᵤ into one boolean variable.
The predicate functions ƒ₁ , ƒ₂ , ... , ƒᵣ are expected to be objects of which the type is a subtype of Real Trigger
For more details look at the function Intervaled Real Fn, which differs from the function here only on the type of the returned variable.
Whereas the function here returns a boolean, the function Intervaled Real Fn returns an array consisting of v real variables y₁ , y₂ , ... , yᵥ.