modelRequirement
Connectors
| Type | Name | Default | Description |
|---|---|---|---|
| Modelica.Blocks.Interfaces.IntegerOutput | status | ||
| Modelica.Blocks.Interfaces.BooleanOutput | hasBeenVerified | ||
| Modelica.Blocks.Interfaces.BooleanOutput | hasBeenViolated |
| Type | Name | Default | Description |
|---|---|---|---|
| Modelica.Blocks.Interfaces.IntegerOutput | status | ||
| Modelica.Blocks.Interfaces.BooleanOutput | hasBeenVerified | ||
| Modelica.Blocks.Interfaces.BooleanOutput | hasBeenViolated |