exists

boolean TPT.exists(timed_boolean expr, [timed_float resampleExpr])

This function checks if the timed expression expr of type boolean is true for at least one point in time of the current context interval. In this case the function returns true. Otherwise (if expr(t) is either false or undefined for all samples in the current context interval) the function returns false.

This function will consider all points in time if resampleExpr is not specified. If the (optional) resampleExpr is specified, this function will consider only points in time where the given resampleExpr changes its value. In particular, if there is no such sample where the given resampleExpr changes its value the result of this function is false. See TPT.resampleOnChange() for a more detailed description of the resample semantics.

Parameters:

expr Timed boolean expression that shall be checked.

[resampleExpr] (optional) resample signal for checks to be performed only if the value changes (e.g. task counter).

Returns:

value indicating if the existence-check was successful