.Modelica_Requirements.LogicalBlocks

Contents

Name	Description
BooleanToProperty	Convert Boolean (false,true) to Property (Violated, Satisfied)
IntegerToProperty	Convert Integer (1,2,3) to Property (Violated, Undecided, Satisfied)
PropertyToBoolean	Convert Property (Violated, Undecided, Satisfied) to Boolean (false, true)
PropertyToInteger	Convert Property (Violated, Undecided, Satisfied) to Integer (1,2,3)
GreaterThreshold	Output y is true if input u is greater than threshold
GreaterEqualThreshold	Output y is true if input u is greater or equal than threshold
LessThreshold	Output y is true if input u is less than threshold
LessEqualThreshold	Output y is true if input u is less or equal than threshold
WithinBand	Output y is true if input u is within a lower and upper threshold
DelayedRising	Output y is true after a duration of a rising input edge and false after a falling input edge
AnyTrue	Output y is true if at least on input is true ("or" of all inputs)
AllTrue	Output y is true if all inputs are true ("and" of all inputs)
PropertyNot	3-valued logic 'not' of Property input u: y = not u
PropertyOr	3-valued logic 'or' of Property input u: y = u[1] or u[2] or ... or u[nu]
PropertyAnd	3-valued logic 'and' of Property input u: y = u[1] and u[2] and ... and u[nu]
FallingEdgeTerminate	Terminate simulation when a falling edge of the input u occurs