functionforall3
Returns Violated, if at least one element of the Property vector is Violated (vector: 3-valued logic)
Extends from Modelica_Requirements.Interfaces.PropertyFunction (Icon for functions returning a variable of type Property).
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 |
Inputs
| Type | Name | Default | Description |
|---|---|---|---|
| Types.Property[:] | p | Property vector |
Outputs
| Type | Name | Default | Description |
|---|---|---|---|
| Types.Property | result | = Violated, if at least one element is Violated. Satisfied if all elements are Satisfied. Otherwise Undecided. |