functionduring

Return Satisfied when check is true as long as condition is true

Extends from Modelica_Requirements.Interfaces.PropertyFunction (Icon for functions returning a variable of type Property).

Information

Syntax

during(condition, check);

Description

If condition is true, the function returns "Property(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

Inputs

TypeNameDefaultDescription
BooleanconditionVerify check as long as condition = true
BooleancheckAs long as condition is true, check should be true

Outputs

TypeNameDefaultDescription
Modelica_Requirements.Types.Propertyresult