.Modelica_Requirements.ChecksInFixedWindow.During

Information

Syntax

property = During(condition=..., check=...).y;

Description

In every duration where the Boolean input condition is true, the Boolean input check must be true. During a true condition phase, property output y = Satisfied if check = true, and Violated if check = false. During a false condition phase, property output y = Undecided.

Violated, Undecided, and Satisfied are elements of enumeration Property.

Example

This block is demonstrated with the following example:

results in

	simulation result