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;