allOf Function Description

Description

This function applies a boolean function which takes n parameters between n-1 atomic values and a bag of values. It returns "True" if and only if the predicate is "True" for every element of the bag.

Property Value
Category higher order bag functions
# Arguments n+1 (usually 3) where n is the number of arguments the function takes.
Arguments - function(n arguments of primitive type): boolean; - n-1 primitive values; - 1 bag
Return Value boolean
Expressed As pre-fix
Representation ALFA short name
Allowed In Target false
ALFA Shorthand None
Commutative false

Example

            
        

In the example, the function will return true if 18 is greater than all of the values in the bag of values inside attribute age. In this example n=2.

See Also

anyOf, AllOfAll, AllOfAny, AnyOfAll