function PropertyToBoolean import Modelica_Requirements.Types.Property; extends Modelica.Icons.Function; input Modelica_Requirements.Types.Property u "Property to be mapped to Boolean"; input Boolean undecided = false "Boolean value of Property.Undecided"; output Boolean y "Boolean as Property"; end PropertyToBoolean;