.Modelica_Requirements.LogicalBlocks.PropertyToBoolean

Information

The Property input u is converted to a Boolean output y according to the following table (note, undecided is a parameter that defines, how a Property.Undecided value shall be mapped to a Boolean):

Property u = Boolean y =
Violated false
Undecided undecided
Satisfied true

This block is demonstrated with example Conversions.


Generated at 2024-03-28T19:15:55Z by OpenModelicaOpenModelica 1.22.3 using GenerateDoc.mos