BooleanVectorsLibrary of functions operating on Boolean vectors 
Returns true, if all elements of the Boolean input vector are true ('and') 

Returns true, if at least on element of the Boolean input vector is true ('or') 

Returns the number of true entries in a Boolean vector 

Enumerates the true entries in a Boolean vector (0 for false entries) 

Returns the index of the first true element of a Boolean vector 

Returns the indices of the true entries of a Boolean vector 

Returns true, if exactly one element of the Boolean input vector is true ("xor") 
This information is part of the Modelica Standard Library maintained by the Modelica Association.
This library provides functions operating on vectors that have a Boolean vector as input argument.