.Modelica_Requirements.LogicalFunctions.cardUndecided

Information

Syntax

nUndecided = cardUndecided(p);

Description

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

nUndecided = cardUndecided( p )

	simulation result

Interface

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