This library provides blocks that check properties in **fixed
windows** defined by the true value of Boolean input variable
**condition**. Whenever this variable is true, the check is
performed. Blocks performing checks in a sliding time window are
provided in sublibrary ChecksInSlidingWindow.

All blocks of this library have the following interface:

- Boolean input
**condition**. If true, the check is performed. Typically, condition is the output of a time locator from library TimeLocators. - Boolean input
**check**is a Boolean expression that must be true according to the property check of the particular block. - Property output
**y**is of enumeration type Property. If the check is successful, y = Property.Satisfied. If the check fails, y = Property.Violated. If neither of the two properties hold (for example when condition = false), y = Property.Undecided.

Name | Description |
---|---|

During | In every true condition phase, check must be true |

MinDuration | In every true condition phase, check must be true for at least the defined duration |

MaxDuration | In every true condition phase, check must be true for at most the defined duration |

BandDuration | In every true condition phase, check must be true for at least a minimum duration and at most a maximum duration |

NoRising | In every true condition phase, no rising edge of check is allowed |

FixedRising | In every true condition phase, a defined number of check rising edges must occur |

MinRising | In every true condition phase, a minimum number of check rising edges must occur |

MaxRising | In every true condition phase, the number of check rising edges must be bounded |

BandRising | In every true condition phase, a minimum number of check rising edges must occur and the number of check rising edges is bounded |

MaxRisingFrequency | In every true condition phase, the frequency of the check rising edges is limited |

WhenRising | When condition input has a rising edge, check must be true |

WhenFalling | When condition input has a falling edge, check must be true |

WhenChanging | When condition input has a changing edge, check must be true |

WithinDomain | In every true condition phase, point input must be within the domain defined by a polygon |

Generated at 2020-02-23T02:37:09Z by OpenModelicaOpenModelica 1.16.0~dev-202-gf162868 using GenerateDoc.mos