Is Member Of
Is Member Of is a direct subtype of Generic Trigger
aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa aaaaaaaa
TYPE INCLUSION RELATIONSHIPS
AVAILABLE FUNCTIONS
AVAILABLE CREATE FUNCTION KEYS
TYPICAL OBJECTS OF TYPE Is Member Of
This type represents a predicate function that returns TRUE or FALSE by examining if u input variables x₁ , x₂ , ... , xᵤ are members of a given list in accordance with specified boolean transformations.
Two cases must be distinguished:
Case 1:One input variable, i.e. u == 1
If the function receives only one input variable x₁, the default output will be TRUE if x₁ is member of the list and no boolean transformation is applied.
Note in this case the default boolean transformation is ID that is equivalent to no transformation.
But if the boolean transformation were specified as NOT, the output would change to FALSE.
Case 2:More than one input variables, i.e. u > 1
If the function processes u input variables with u > 1, then a boolean transformation must be specified.
The exact processing is as follows:
At first, the first variable x₁ alone is examined if it is member of the list and produces a corresponding boolean result b₁
b₁ = TRUE if x₁ is member of the list and FALSE otherwise.
Next, the second variable x₂ alone is examined if it is member of the list and produces a corresponding boolean result b₂
b₂ = TRUE if x₂ is member of the list and FALSE otherwise.
In the end, the specified boolean transformation is applied on the set of single boolean responses.
The result of that boolean transformation is the final output of the referenced predicate function.
Note all input variables are checked against the same list.
If a different list needs to be applied on each input variable, a set of different Is Member Of functions need to be fed as input to a final predicate function of type Boolean Transform