blockCheckInteger

Information

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:

Parameters

Connectors

Components

Contents

Name	Description
Function
Condition