.Modelica_Requirements.LogicalFunctions.PropertyToBoolean

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

Information

Interface

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;

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