.Modelica_Requirements.LogicalFunctions.forall3

Information

Syntax

forall3(p);

Description

The function returns Property.Violated, if at least one element of Property vector p has value Violated.
The function returns Property.Undecided, if either all elements of Property vector p have value Undecided, or the dimension of p is 0.
Otherwise, the function returns Property.Satisfied.

Example

The property is demonstrated with the following example calling the function as:

properties = {during(p.isActive, check=p.p_a > p_cavitate) for p in pumps};
result = forall3(properties);

results in

	simulation result

Interface

function forall3
  extends Modelica_Requirements.Interfaces.PropertyFunction;
  import Modelica_Requirements.Types.Property;
  input Types.Property p[:] "Property vector";
  output Types.Property result "= Violated, if at least one element is Violated. Satisfied if all elements are Satisfied. Otherwise Undecided.";
end forall3;