.Modelica_Requirements.LogicalBlocks.PropertyToInteger

Convert Property (Violated, Undecided, Satisfied) to Integer (1,2,3)

Information

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

Property u = Integer y =

Violated 1

Undecided 2

Satisfied 3

This block is demonstrated with example Conversions.

Generated at 2025-03-09T19:25:01Z by OpenModelicaOpenModelica 1.24.5 using GenerateDoc.mos