.Modelica_Requirements.LogicalFunctions.IntegerToProperty

Information

Interface

function IntegerToProperty
  import Modelica_Requirements.Types.Property;
  extends Modelica_Requirements.Interfaces.PropertyFunction;
  input Integer u "Integer to be mapped to Property";
  output Modelica_Requirements.Types.Property y "Integer as Property";
end IntegerToProperty;