Library of logical blocks (2-/3-valued logical operators with and without memory)

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 |

Generated at 2019-09-15T01:38:28Z by OpenModelicaOpenModelica 1.14.0~dev-26728-gbf603de using GenerateDoc.mos