functionduring3
Return Satisfied when check is Satisfied as long as condition is true (check: 3-valued logic)
Extends from Modelica_Requirements.Interfaces.PropertyFunction (Icon for functions returning a variable of type Property).
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 |
Inputs
| Type | Name | Default | Description |
|---|---|---|---|
| Boolean | condition | Verify check as long as condition = true | |
| Modelica_Requirements.Types.Property | check | As long as condition is true, check should be Satisfied |
Outputs
| Type | Name | Default | Description |
|---|---|---|---|
| Modelica_Requirements.Types.Property | result |