.Modelica_Requirements.LogicalFunctions.PropertyToInteger

Convert Property (Violated, Undecided, Satisfied) to Integer (1,2,3)

Information

Interface

function PropertyToInteger
  import Modelica_Requirements.Types.Property;
  extends Modelica.Icons.Function;
  input Modelica_Requirements.Types.Property u "Property to be mapped to Boolean";
  output Integer y "Integer as Property";
end PropertyToInteger;

Generated at 2025-03-09T19:25:01Z by OpenModelicaOpenModelica 1.24.5 using GenerateDoc.mos