| 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) |