.Modelica_Requirements.LogicalFunctions.cardViolated

Information

Syntax

nViolated = cardViolated(p);

Description

This function returns the number of Violated-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:

nViolated = cardViolated( p )

	simulation result

Interface

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