Syntax
y = CheckInteger (u = condition, tl = time_period, func = IntegerFunction(threshold = integer_threshold, tl = tl));
Description
The purpose of this block is to generalize the Check block in order to evaluate requirements that take integer functions as arguments such as:
within tl ensure count u < threshold
which means
at the end time locator tl, ensure that the number of events on u is less than threshold.
In this example, func is the function count that counts the number of events on u, i.e. the number of occurences when condition becomes true (is satisfied) and compares it to threshold.
Function func can be chosen from the dialog box among predefined integer functions of the Functions package. Currently, the only implemented integer function is the EventCounter.
The comparator to the threshold (e.g. >, <, etc.) can be chosen from the dialog box among the predefined integer comparators of the Conditions package.
Example
This block is demonstrated with the following example:
| Name | Description |
|---|---|