packageLogicalBlocks
Library of logical blocks (2-/3-valued logical operators with and without memory)
Extends from Modelica.Icons.Package (Icon for standard packages).
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 |