.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.