Boolean Transform


Boolean Transform is a direct subtype of Generic Trigger
aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa
with functions Boolean Transform Functions, keys Boolean Transform keys and example object BoolTransf

TYPE INCLUSION RELATIONSHIPS

Generic Trigger

Boolean Transform

</defs>

AVAILABLE FUNCTIONS

Create

</defs>

AVAILABLE CREATE FUNCTION KEYS

Boolean Op

Triggers

</defs>

TYPICAL OBJECTS OF TYPE Boolean Transform

BoolTransf

</defs>

This type represents a predicate function designed to return a boolean value that equals a specified boolean transformation of the output boolean values of a given set of predicate functions.
In more detail, given a known set of input variables, the boolean output is dermined as follows:
Assumed is a - possibly empty - set of u predefined predicate functions F₁ , F₂ , ... , Fᵤ.
These predicate functions are represented as objects of type Generic Trigger
Also assumed is a boolean transformation ℬ represented as an element of Boolean Operation
In the special case where no predicate functions are supplied, i.e. u = 0, the input variables are ignored and the boolean output is determined by the given boolean transformation ℬ
Otherwise, the input variables are fed to each and every of the predicate functions F₁ , F₂ , ... , Fᵤ, with the result being u booleans b₁ , b₂ , ... , bᵤ.
The final boolean output is constructed by applying the boolean transformation ℬ on the sequence of booleans b₁ , b₂ , ... , bᵤ.

The following are two interesting constructs:
1) By setting u = 0 and ℬ equal to TRUE, the resulting object represents a predicate function that always returns TRUE and is therefore equivalent to the TRUE constant.
1) By setting u = 0 and ℬ equal to FALSE, the resulting object represents a predicate function that always returns FALSE and is therefore equivalent to the FALSE constant.