.Modelica_Requirements.LogicalBlocks.PropertyOr

Information

Property output y is the 3-valued logic or of the elements of the property input vector u:

y = u[1] or u[2] or ... or u[size(u,1)]

The "or" of two property values u[1] and u[2] is defined according to the following table (see also Wikipedia):

u[1] or u[2]	Violated	Undecided	Satisfied
Violated	Violated	Undecided	Satisfied
Undecided	Undecided	Undecided	Satisfied
Satisfied	Satisfied	Satisfied	Satisfied

Violated, Undecided, and Satisfied are elements of enumeration Property.

The input connector u is a vector of Property input signals. When a connection line is drawn, the dimension of the input vector is enlarged by one and the connection is automatically connected to this new free index (thanks to the connectorSizing annotation).

If no connection to the input connector u is present, the output is set to: y = Violated.

Example

This block is demonstrated with the following example:

results in

	simulation result