.Modelica_Requirements.LogicalFunctions.BooleanToProperty

Information

Convert Boolean (false,true) to Property (Violated, Satisfied)

Interface

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