Real Trigger


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 Real Trigger Functions, direct subtypes Real Trigger subtypes and keys Real Trigger keys

TYPE INCLUSION RELATIONSHIPS

Trigger

Real Trigger

Comp Real Trigger

Number Is Inside

Process Binary Rep

Real Boolean Transform

</defs>

AVAILABLE FUNCTIONS

Create

Evaluate

</defs>

AVAILABLE CREATE FUNCTION KEYS

Input Variables

</defs>

This type represents any predicate function that maps 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 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.

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.