modelFirstExampleInvariantError
Simple example to demonstrate an invariant.
Extends from Modelica.Icons.Example (Icon for runnable examples).
Components
| Type | Name | Default | Description |
|---|---|---|---|
| RealTimeCoordinationLibrary.Transition | T1 | ||
| Modelica_StateGraph2.Step | step1 | ||
| Modelica_StateGraph2.Step | step2 | ||
| RealTimeCoordinationLibrary.TimeElements.Clock | clock | ||
| Modelica_StateGraph2.Blocks.MathReal.ShowValue | showValue | ||
| RealTimeCoordinationLibrary.Transition | T2 | ||
| Modelica_StateGraph2.Step | step3 | ||
| RealTimeCoordinationLibrary.TimeElements.TimeInvariant.TimeInvariantLessOrEqual | timeInvariantSmallerLess |