blockPropertyToBoolean

Convert Property (Violated, Undecided, Satisfied) to Boolean (false, true)

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.

Parameters

TypeNameDefaultDescription
BooleanundecidedfalseBoolean value of Property.Undecided

Connectors

TypeNameDefaultDescription
Modelica_Requirements.Interfaces.PropertyInputuProperty input signal
Modelica.Blocks.Interfaces.BooleanOutputyBoolean output signal