.Modelica_Requirements.LogicalFunctions.during3

Information

Syntax

during3(condition, check);

Description

If condition is true, the function returns check (which must be of type Property). Otherwise, it returns Undecided.

Example

The property is demonstrated with the following example calling the function as:

property = during3(condition,check)

results in

	simulation result

Interface

function during3
  extends Modelica_Requirements.Interfaces.PropertyFunction;
  import Modelica_Requirements.Types.Property;
  input Boolean condition "Verify check as long as condition = true";
  input Modelica_Requirements.Types.Property check "As long as condition is true, check should be Satisfied";
  output Modelica_Requirements.Types.Property result;
end during3;