.Modelica_Requirements.LogicalFunctions.during

Information

Syntax

during(condition, check);

Description

If condition is true, the function returns "toProperty(check)" (so either Satisfied or Violated). Otherwise, it returns Undecided. Violated, Undecided, and Satisfied are the elements of enumeration Property

Example

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

property = during(condition,check)

results in

	simulation result

Interface

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