.Modelica_Requirements.LogicalBlocks.BooleanToProperty .Modelica_Requirements.LogicalBlocks.BooleanToPropertyThe Boolean input u is converted to a Property output y according to the following table:
Boolean u = Property y = true Satisfied false Violated
This block is demonstrated with example Conversions.