Process Binary Rep


Process Binary Rep 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 Process Binary Rep Functions, keys Process Binary Rep keys and example object ProcBinRep

TYPE INCLUSION RELATIONSHIPS

Real Trigger

Process Binary Rep

</defs>

AVAILABLE FUNCTIONS

Create

</defs>

AVAILABLE CREATE FUNCTION KEYS

Binary Bits

Boolean Op

</defs>

TYPICAL OBJECTS OF TYPE Process Binary Rep

ProcBinRep

</defs>

This type represents a predicate function designed to return a Boolean value that equals the result of applying a specified boolean transformation ℬ on u booleans b₁ , b₂ , ... , bᵤ.
The booleans b₁ , b₂ , ... , bᵤ are specified indirectly through a given input integer K and the above mentioned number u in the sense they constitute the binary representation of length u of that integer K

For example, let K = 5 and u = 4. Then the binary representation of length 4 of the integer 5 is 0101.
Then assuming the specified boolean transformation ℬ is
AND, the function's output will be FALSE
But if the specified boolean transformation ℬ is
OR, the function's output will be TRUE