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