.Modelica_Requirements.LogicalFunctions.cardSatisfied

Information

Syntax

nSatisfied = cardSatisfied(p);

Description

This function returns the number of Satisfied-elements of Property vector p.

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

Example

This function is demonstrated with the following example calling the function as:

nSatisfied = cardSatisfied( p )

	simulation result

Interface

function cardSatisfied
  extends Modelica_Requirements.Interfaces.PropertyFunction;
  import Modelica_Requirements.Types.Property;
  input Property p[:] "Property vector";
  output Integer result "Number of Property.Satisfied entries";
end cardSatisfied;