.Modelica_Requirements.LogicalBlocks.IntegerToProperty

Information

The Integer input u is converted to a Property output y according to the following table:

Integer u = Property y =
1 Violated
2 Undecided
3 Satisfied

An assert is triggered if the input is not 1, 2 or 3.

This block is demonstrated with example Conversions.


Generated at 2024-10-31T19:25:48Z by OpenModelicaOpenModelica 1.24.0 using GenerateDoc.mos