| Name | Description |
|---|
| Conversions | Examples for BooleanToProperty, IntegerToProperty, PropertyToBoolean, PropertyToInteger |
| ThresholdComparisons | Examples for the threshold comparison blocks in package LogicalBlocks |
| DelayedRising | Example for DelayedRising (output is true, after a duration of a rising input edge and false after a falling input edge) |
| AnyTrue | Example for AnyTrue (output is true if at least one input is true) |
| AllTrue | Example for AllTrue (output is true if all inputs are true) |
| PropertyNot | Example for AllTrue (output is true if all inputs are true) |
| PropertyOr | Example for PropertyOr (3-valued logic 'or' of Property input u) |
| PropertyAnd | Example for PropertyAnd (3-valued logic 'and' of Property input u) |