.Modelica_Requirements.LogicalBlocks.PropertyAnd

Information

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

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

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

u[1] and u[2]	Violated	Undecided	Satisfied
Violated	Violated	Violated	Violated
Undecided	Violated	Undecided	Undecided
Satisfied	Violated	Undecided	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 = Satisfied.

Example

This block is demonstrated with the following example:

results in

	simulation result