| Name | Description |
|---|
| MinDuration | Example for MinDuration (in every sliding time window, the longest time duration where check was permanently true must be above a lower limit) |
| MinAccumulatedDuration | Example for AccumulatedMinDuration (in every sliding time window, the accumulated time duration where check was true must be above a lower limit) |
| MinAccumulatedDuration2 | Example for AccumulatedMinDuration (in every sliding time window, the accumulated time duration where check was true must be above a lower limit) |
| MaxDuration | Example for MaxDuration (in every sliding time window, the longest time duration where check was permanently true must be below an upper limit) |
| MaxAccumulatedDuration | Example for MaxDuration (in every sliding time window, the accumulated time duration where check was true must be below an upper limit) |
| BandDuration | Example for BandDuration (in every sliding time window, the longest time duration where check was permanently true must be within a given band) |
| BandAccumulatedDuration | Example for BandAccumulatedDuration (in every sliding time window, the accumulated time duration where check was true must be within a given band) |
| MinRising | Example for MinRising (in every sliding time window, a minimum number of check rising edges must occur) |
| MaxRising | Example for MaxRising (in every sliding time window, the number of check rising edges is bounded) |
| BandRising | Example for BandRising (in every sliding time window, a minimum number of check rising edges must occur and the number of check rising edges is bounded) |
| MaxFrequency | Example for MaxFrequency (in every sliding time window, the mean frequency of check is limited) |
| MaxRisingFrequency | Example for MaxRisingFrequency (in every sliding time window, the frequency of the check rising edges is limited) |
| MaxIncrease | Example for MaxIncrease (in every sliding time window, the increase of the input is limited) |
| MaxPercentageIncrease | Example for MaxPercentageIncrease (in every sliding time window, the increase of the input is limited) |